Program
Verification
Book

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

C++ library for building abstract interpretation-based analyses

Application domain/field

Abstract interpretation
Static analysis

Type of tool

Library

Expected input

Format:

Own CFG-based intermediate representation (CrabIR)

Links

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

Last commit date: 06 Nov 2022 (default branch)
Last commit date: 07 Nov 2022 (last activity)

Related papers

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

ProVerB specific

Markdown description: view/edit
Reason for this entry: used by tAIlor
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.