7 results found Sort:

NASA-SW-VnV
ikos NASA-SW-VnV
150
2.0k
other
52
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
static-analysis program-analysis software-verification abstract-interpretation
Created 2017-10-17
497 commits to master branch, last one a day ago
staticafi
symbiotic staticafi
56
310
mit
12
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
klee llvm slice llvm-ir slicing verification instrumentation program-slicing symbolic-execution program-verification software-verification verification-toolchain
Created 2014-12-30
2,050 commits to main branch, last one about a year ago
seahorn
clam seahorn
37
274
apache-2.0
13
Static Analyzer for LLVM bitcode based on Abstract Interpretation
llvm invariants static-analysis program-analysis software-verification abstract-interpretation
Created 2017-06-30
1,339 commits to master branch, last one about a year ago
sosy-lab
cpachecker sosy-lab
90
224
apache-2.0
23
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
c java verification static-analysis software-verification
Created 2014-05-23
34,960 commits to trunk branch, last one a day ago
goblint
analyzer goblint
72
172
mit
19
Static analysis framework for C
c ocaml race-detection race-conditions static-analysis program-analysis static-code-analysis software-verification abstract-interpretation
Created 2011-07-18
16,434 commits to master branch, last one a day ago
model-checking
cbmc-starter-kit model-checking
21
44
mit-0
14
The CBMC starter kit makes it easy to add CBMC verification to a software project.
ansi-c model-checking software-verification
Created 2020-06-22
275 commits to master branch, last one about a month ago
SVF-tools
Teaching-Software-Verification SVF-tools
19
32
gpl-3.0
4
Teaching and Learning Software Verification via SVF
course verification static-analysis symbolic-execution software-verification
Created 2022-02-01
93 commits to main branch, last one about a month ago