• Features
  • Pricing
  • Contact
    Login with:
  • Features
  • Pricing
  • Contact
Login with:
main
klee
Repository badge with AMinus rating
View on GitHub

  • 455 issues
  • 3 pull requests
  • 976 files
  • 1 active branch

CodeFactor Rating A-

  • {{format.Name}}
Grade
Name
Complexity
Churn
Issues
D
test\Industry\CoverageBranches\pals_lcr.3.ufo.UNBOUNDED.pals+Problem12_label00.c
6744 8 5
F
lib\Core\Executor.cpp
1354 39 25
B
test\Solver\pals_floodmax.5.2.ufo.BOUNDED-10.pals.c
1068 3 7
B
lib\Expr\Expr.cpp
642 11 7
B
test\regression\2023-10-04-email_spec0_product16.cil.c
597 1 11
B
test\regression\2023-10-13-kbfiltr.i.cil-2.c
394 3 5
B
lib\Expr\Parser.cpp
381 8 7
B
tools\klee\main.cpp
367 14 7
B
runtime\POSIX\fd.c
307 2 10
A
lib\Solver\FastCexSolver.cpp
283 4 2
A
lib\Expr\ExprBuilder.cpp
270 3 -
A
lib\Solver\BitwuzlaBuilder.cpp
237 4 2
A
include\klee\Expr\Expr.h
232 7 1
A
lib\Core\Searcher.cpp
224 6 4
A
lib\Expr\ExprSMTLIBPrinter.cpp
219 5 7
A
lib\Core\StatsTracker.cpp
214 6 5
A
lib\Solver\Z3Solver.cpp
192 5 6
A
lib\Solver\Z3BitvectorBuilder.cpp
182 4 2
A
lib\Solver\MetaSMTBuilder.h
173 4 7
A
lib\Solver\STPBuilder.cpp
172 4 2
  • Next Page
  • Security
  • Terms
  • Privacy
  • Contact
© 2026 CodeFactor

We use cookies in order to offer you the most relevant information. See our Privacy Policy.