Popular repositories Loading

1. InvariantSynthesisForArray_C InvariantSynthesisForArray_C Public

   Automatic Invariant Synthesis for Arrays in Simple Programs

   C++ 1 1

2. QDInvSynthesis QDInvSynthesis Public

   building quantified (including universally and existentially) and disjunctive abstract domains that leverage existing quantifier-free domains in some restricted cases: traversed by simple ``for'' l…

   C 1 1

3. crab-llvm crab-llvm Public

   Crab-based Abstract Interpreter for LLVM

   CMake 1

4. numpywren numpywren Public

   Python 1

5. worklist-clang-apron worklist-clang-apron Public

   Forked from OrenKishon/worklist-clang-apron

   Implementation of the work list algorithm for abstract interpretation, combining clang and apron libraries

   C++

6. llvm-seahorn llvm-seahorn Public

   Forked from seahorn/llvm-seahorn

   LLVM components that are modified for SeaHorn

   C++