Popular repositories Loading

1. PPLite PPLite Public

   PPLite: convex polyhedra library for Abstract Interpretation

   C++ 24

2. PHAVerLite PHAVerLite Public

   PHAVerLite = PHAVer + PPLite

   4 2

3. ikos ikos Public

   Forked from NASA-SW-VnV/ikos

   Static analyzer for C/C++ based on the theory of Abstract Interpretation.

   C++

4. apron apron Public

   Forked from antoinemine/apron

   Apron Numerical Abstract Domain Library

   C

5. clam clam Public

   Forked from seahorn/clam

   Static Analyzer for LLVM bitcode based on Abstract Interpretation

   C

6. crab crab Public

   Forked from seahorn/crab

   A library for building abstract interpretation-based analyses

   C++