7 results found Sort:
- Filter by Primary Language:
- C++ (2)
- Python (2)
- C (1)
- OCaml (1)
- SWIG (1)
- +
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Created
2017-10-17
502 commits to master branch, last one 25 days ago
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Created
2014-12-30
2,052 commits to main branch, last one about a month ago
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Created
2017-06-30
1,339 commits to master branch, last one about a year ago
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Created
2014-05-23
35,511 commits to main branch, last one 2 days ago
Static analysis framework for C
Created
2011-07-18
16,786 commits to master branch, last one a day ago
The CBMC starter kit makes it easy to add CBMC verification to a software project.
Created
2020-06-22
280 commits to master branch, last one 20 days ago
Teaching and Learning Software Verification via SVF
Created
2022-02-01
94 commits to main branch, last one 2 months ago