Home

Documentation

• CrabIR: Crab Intermediate Representation
• Concrete Semantics for CrabIR
• Crab Architecture
• Available Numerical Abstract Domains
• Abstractions for Memory
• Indexed Variable Names and Typed Variables
• Intrinsics
• Licenses

How-To

• How-to use C++ API to write a CrabIR program and run analysis
• How-to tune abstract domains parameters

How-To (Only developers)

• How-to add a new abstract domain
• How-to add new tests
• How-to manage ghost variables

Reading

• All Patrick Cousot's publications
• A great tutorial about Abstract Interpretation by A. Mine
• List of papers explaining the theory behind Crab implementation