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
507 commits to master branch, last one 3 months ago
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Created
2014-12-30
2,059 commits to main branch, last one 3 days ago
Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.
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
36,055 commits to main branch, last one 16 days ago
Static analysis framework for C
Created
2011-07-18
17,977 commits to master branch, last one 8 days ago
The CBMC starter kit makes it easy to add CBMC verification to a software project.
Created
2020-06-22
282 commits to master branch, last one about a month ago
Teaching and Learning Software Verification via SVF
Created
2022-02-01
130 commits to main branch, last one a day ago