Search Results - RepositoryStats

klee klee

684

2.7k

other

107

KLEE Symbolic Execution Engine

klee symbolic-execution

Created 2013-07-21

2,766 commits to master branch, last one 12 days ago

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

gllvm SRI-CSL

34

306

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 7 months ago

UTBotCpp UnitTestBot

27

159

apache-2.0

9

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 6 months ago

Fuzzing yuawn

18

158

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

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 7 months ago