main
klee
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
lib\Solver\BitwuzlaSolver.cpp
161 9 4
A
lib\Module\TargetForest.cpp
158 4 -
A
lib\Solver\Z3Builder.cpp
145 6 3
A
lib\Expr\ExprVisitor.cpp
145 4 1
A
lib\Core\Memory.cpp
143 8 -
A
lib\Module\KModule.cpp
143 11 3
A
lib\Expr\Constraints.cpp
141 8 1
A
lib\Core\SpecialFunctionHandler.cpp
139 11 1
A
lib\Expr\ExprPPrinter.cpp
138 6 3
A
lib\Core\ExecutorUtil.cpp
134 8 4
A
lib\Core\MockBuilder.cpp
132 5 3
A
include\klee\ADT\ImmutableTree.h
129 2 -
A
lib\Expr\Lexer.cpp
121 2 3
A
runtime\Sanitizer\ubsan\ubsan_handlers.cpp
119 2 6
A
lib\Expr\ArrayExprOptimizer.cpp
116 3 3
A
lib\Module\SarifReport.cpp
112 6 1
A
lib\Solver\ConcretizingSolver.cpp
111 7 2
A
lib\Module\IntrinsicCleaner.cpp
111 4 3
A
lib\Core\TargetedExecutionManager.cpp
109 10 2
A
lib\Solver\Z3CoreBuilder.cpp
108 3 2