PV0 Crab: Cornucopia of abstractionsa library for building abstract interpretation-based analyses

C++ library for building abstract interpretation-based analyses

Application domain/field

Type of tool

Library

Expected input

Format:

Own CFG-based intermediate representation (CrabIR)
Library

Links

Repository: https://github.com/seahorn/crab

Last commit date

21 October 2021

Related papers

See the list here: https://github.com/seahorn/crab/wiki/CrabPapers

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.