6 results found Sort:

klee
klee klee
679
2.6k
other
106
KLEE Symbolic Execution Engine
klee symbolic-execution
Created 2013-07-21
2,753 commits to master branch, last one about a month 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
SRI-CSL
gllvm SRI-CSL
34
299
bsd-3-clause
32
Whole Program LLVM: wllvm ported to go
klee llvm clang bitcode compilers bitcode-files bitcode-generation
Created 2017-06-27
418 commits to master branch, last one 5 months ago
yuawn
Fuzzing yuawn
17
155
mit
4
Fuzzing tutorial with easy-to-learn labs 🚀
101 afl klee llvm fuzzing testing securtiy tutorial education automation fuzz-testing vulnerability instrumentation security-testing symbolic-execution
Created 2022-06-04
15 commits to main branch, last one 2 years ago
UnitTestBot
UTBotCpp UnitTestBot
26
141
apache-2.0
8
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
c cpp klee unit-testing static-analysis test-generation software-analysis symbolic-execution
Created 2021-10-07
329 commits to main branch, last one 3 months ago
hmc-alpaqa
metrinome hmc-alpaqa
3
41
gpl-3.0
6
Create CFGs and compute complexity metrics for Python, C++, and Java code.
klee npath python complexity path-complexity control-flow-graph cyclomatic-complexity
Created 2020-04-17
1,020 commits to develop branch, last one 4 months ago