Home

Documentation

• CrabIR: Crab Intermediate Representation

• Concrete Semantics for CrabIR

• Crab Architecture

• Available Abstract Domains

• Tuning Abstract Domains Parameters

• Abstractions for Memory Regions

• Ghost variables

• Licenses

How-To

• How-to use C++ API to write a CrabIR program and run analysis
• How-to add a new abstract domain
• How-to add new tests

Reading

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