7 results found Sort:

190
2.8k
other
62
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
37
278
apache-2.0
13
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
90
227
apache-2.0
23
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Created 2014-05-23
35,511 commits to main branch, last one 2 days ago
76
185
mit
19
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