main
klee
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
include\klee\Module\KModule.h
29 8 -
A
lib\Core\ExecutorUtil.cpp
134 8 4
A
lib\Expr\Constraints.cpp
141 8 1
A
include\klee\Expr\Expr.h
232 7 1
A
Dockerfile
 7 4
A
lib\Solver\ConcretizingSolver.cpp
111 7 2
A
lib\Solver\CexCachingSolver.cpp
81 7 -
A
lib\Expr\SymbolicSource.cpp
67 7 -
A
lib\Core\AddressSpace.cpp
89 7 1
A
lib\Core\MemoryManager.cpp
38 7 -
A
lib\Core\MemoryManager.h
0 7 -
B
include\klee\Expr\SymbolicSource.h
104 7 24
A
lib\Solver\AlphaEquivalenceSolver.cpp
30 7 -
A
lib\Core\TargetedExecutionManager.h
1 7 -
A
lib\Core\TargetCalculator.cpp
73 6 2
A
lib\Core\StatsTracker.cpp
214 6 5
A
lib\Core\Searcher.cpp
224 6 4
A
lib\Core\Searcher.h
3 6 -
A
include\klee\Module\SarifReport.h
21 6 -
A
include\klee\Expr\Constraints.h
6 6 -