2 results found Sort:

smackers
smack smackers
82
432
other
24
SMACK Software Verifier and Verification Toolchain
c smt llvm rust verifier c-plus-plus verification verification-toolchain
Created 2012-07-30
3,120 commits to main branch, last one 3 years ago
staticafi
symbiotic staticafi
55
315
mit
13
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,052 commits to main branch, last one about a month ago