diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2022-01-07 18:58:13 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-23 17:41:08 +0000 |
| commit | 4749068700db333a47b034f047eed154de4ad2c8 (patch) | |
| tree | 7b9505cb382c47760c6bee8c00c0573b069cf473 /tools/klee-stats | |
| parent | ba58e4add3bb2e924b0078146fdcd9b4f6158178 (diff) | |
| download | klee-4749068700db333a47b034f047eed154de4ad2c8.tar.gz | |
stats: add branch type stats
Diffstat (limited to 'tools/klee-stats')
| -rwxr-xr-x | tools/klee-stats/klee-stats | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats index 629095bc..20d75adb 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -64,6 +64,17 @@ Legend = [ ('Mem(MiB)', 'mebibytes of memory currently used', "MallocUsage"), ('MaxMem(MiB)', 'maximum memory usage', "MaxMem"), ('AvgMem(MiB)', 'average memory usage', "AvgMem"), + # - branch types + ('BrConditional', 'number of forks caused by symbolic branch conditions (br)', "BranchesConditional"), + ('BrIndirect', 'number of forks caused by indirect branches (indirectbr) with symbolic address', "BranchesIndirect"), + ('BrSwitch', 'number of forks caused by switch with symbolic value', "BranchesSwitch"), + ('BrCall', 'number of forks caused by symbolic function pointers', "BranchesCall"), + ('BrMemOp', 'number of forks caused by memory operation with symbolic address', "BranchesMemOp"), + ('BrResolvePointer', 'number of forks caused by symbolic pointers', "BranchesResolvePointer"), + ('BrAlloc', 'number of forks caused by symbolic allocation size', "BranchesAlloc"), + ('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"), # - debugging ('TArrayHash(s)', 'time spent hashing arrays (if KLEE_ARRAY_DEBUG enabled, otherwise -1)', "ArrayHashTime"), ('TFork(s)', 'time spent forking states', "ForkTime"), |