diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2022-01-11 09:09:44 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-23 17:41:08 +0000 |
| commit | 3a1965c62540ef3fa3ec857f2b7d055cbbb68939 (patch) | |
| tree | 09dc3af2c442bbae80331b9a968d9d8f83558384 /tools | |
| parent | a6f0612026cac27a1c997517420bfe5c9d254944 (diff) | |
| download | klee-3a1965c62540ef3fa3ec857f2b7d055cbbb68939.tar.gz | |
stats: add termination class stats
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/klee-stats/klee-stats | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats index 20d75adb..f681a06f 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -75,6 +75,15 @@ Legend = [ ('BrRealloc', 'number of forks caused by symbolic reallocation size', "BranchesRealloc"), ('BrFree', 'number of forks caused by freeing a symbolic pointer', "BranchesFree"), ('BrGetVal', 'number of forks caused by user-invoked concretization while seeding', "BranchesGetVal"), + # - termination classes + ('TermExit', 'number of states that reached end of execution path', "TerminationExit"), + ('TermEarly', 'number of early terminated states (e.g. due to memory pressure, state limt)', "TerminationEarly"), + ('TermSolverErr', 'number of states terminated due to solver errors', "TerminationSolverError"), + ('TermProgrErr', 'number of states terminated due to program errors (e.g. division by zero)', "TerminationProgramError"), + ('TermUserErr', 'number of states terminated due to user errors (e.g. misuse of KLEE API)', "TerminationUserError"), + ('TermExecErr', 'number of states terminated due to execution errors (e.g. unsupported intrinsics)', "TerminationExecutionError"), + ('TermEarlyAlgo', 'number of state terminations required by algorithm (e.g. state merging or replaying)', "TerminationEarlyAlgorithm"), + ('TermEarlyUser', 'number of states terminated via klee_silent_exit()', "TerminationEarlyUser"), # - debugging ('TArrayHash(s)', 'time spent hashing arrays (if KLEE_ARRAY_DEBUG enabled, otherwise -1)', "ArrayHashTime"), ('TFork(s)', 'time spent forking states', "ForkTime"), |