Krep
1.2Terms
- Run
- One campaign of one tool on one program.
- Cores
- The parallel processes of one campaign.
- Budget
- The longest a campaign may run.
- Fixed track
- The command line is given and the tool supplies only the input. Method
- Open track
- The tool also chooses arguments, files and environment. Method
- Median
- The middle value over a tool's runs; the median of two runs is their mean.
- standard
- Conventional gcov replay of every retained test case, same counting code and denominators. Method
- Unreached
- A branch that none of the main-group tools that ran on the program reaches (4 to 12 tools).
- Union of runs
- The branches that at least one of a tool's runs reaches, each counted once.
- Output tokens
- Model output of a whole campaign, reasoning included, as self-reported in the release.
- Sanitiser signature
- The sanitiser, the error kind and the innermost frame in the program's own source; two can share a cause.
- Language model
- A system in which a language model does the central reasoning of a classical technique, such as concolic execution.
- Symbolic
- Runs the program on symbolic inputs and asks a constraint solver for concrete inputs that reach new paths.
- Fuzzer
- Coverage-guided fuzzing: mutates inputs and keeps those that reach new code.
- Hybrid
- A fuzzer paired with a concolic executor; each supplies the other with inputs.
- Main
- Shown by default: the tools a reader is most likely to compare.
- Ablation
- Variants of the agent that switch off or change one part, to show what that part adds.
- Seeding
- Runs of a tool that start from seeds produced by another system.
- Control
- Systems that run without the agent, as a reference for the main group.
- Release
- A dated snapshot of the data, named like 2026.1. It never changes; corrections go into the next release.
- Superseded
- An entry that a newer one replaces. It stays in the release and shows under all versions.
- Withdrawn
- An entry taken out of the comparison after it was published.
Krep is a string-search utility for the command line, written in C and similar to grep.
- Branches
- 1,23119.8% unreached (12 tools)
- Language
- C
- Inputs
- command-line arguments, files
- Fixed track
test {input}- Tools with runs
- 2812 main
- Runs
- 9090 with branch sets
Branch map
1 tool 192 to 5 1196 to 8 3169 to 11 366all 12 167Unreached 244
Coverage over time
Use the left and right arrow keys, Home and End to move along the time axis. The value of every line at that time is read out.
The chart needs JavaScript. The final values are in the Final coverage table below.
Showing 12 of 12
Showing 13 of 14
Showing 2 of 2
Showing 8 of 8
Curves:
curves/ in the results repositoryFinal coverage
| Tool | Median | Min to max | Share (median) | Runs | Median curve | Output tokens |
|---|---|---|---|---|---|---|
| Main group, 12 tools | ||||||
Agolic KLEE, GPT-5.5agent, open track, six cores, version 1.0.1+ | 827 | 805–835 | 67.2% | 3 | 332,737 | |
Agolic KLEE, DeepSeek V4.1 Flashagent, open track, six cores, version 1.0.1+ | 812 | 809–876 | 66.0% | 3 | 1,662,241 | |
Agolic Direct-Input, DeepSeek V4.1 Flashagent, open track, six cores, version 1.0.1+ | 948 | 939–950 | 77.0% | 3 | 726,241 | |
Agolic AFL++, DeepSeek V4.1 Flashagent, open track, six cores, version 1.0.1+ | 780 | 759–822 | 63.4% | 3 | 361,587 | |
ConcoLLMic, GPT-5.5language model, open track, version 9634e686+ | 895 | 893–898 | 72.7% | 3 | 601,687 | |
ConcoLLMic, DeepSeek V4.1 Flashlanguage model, open track, version 9634e686+ | 879 | 865–904 | 71.4% | 3 | 2,300,636 | |
KLEE fixed options, 6 coressymbolic, open track, six cores, version efa1e052 | 580 | 572–588 | 47.1% | 3 | not applicable | |
KLEE uniform options, 6 coressymbolic, open track, six cores, version efa1e052 | 677 | 663–681 | 55.0% | 3 | not applicable | |
SymTuner, 6 coressymbolic, open track, six cores, version 71806b45 | 688 | 669–730 | 55.9% | 3 | not applicable | |
AFL++, 1 core fixed trackfuzzer, fixed track, one core, version 5.02c | 197 | 197–197 | 16.0% | 3 | not applicable | |
SymCC + AFL++, 1 core fixed trackhybrid, fixed track, one core, version 07c8895f+ | 197 | 196–204 | 16.0% | 3 | not applicable | |
SymSan + AFL++, 1 core fixed trackhybrid, fixed track, one core, version 2937d1c0+ | 196 | 196–203 | 15.9% | 3 | not applicable | |
| Ablation group, 10 tools | ||||||
Agolic KLEE, GPT-5.5, effort lowagent, open track, six cores, version 1.0.1+ | 792 | 789–799 | 64.3% | 3 | 192,480 | |
Agolic KLEE, GPT-5.5, effort extra highagent, open track, six cores, version 1.0.1+ | 847 | 839–871 | 68.8% | 3 | 596,149 | |
Agolic KLEE, GPT-5.5, Harness-Entry Mode onlyagent, open track, six cores, version 1.0.1+ | 821 | 797–822 | 66.7% | 3 | 290,512 | |
Agolic KLEE, GPT-5.5, Seeded-Prefix Mode onlyagent, open track, six cores, version 1.0.1+ | 852 | 835–881 | 69.2% | 3 | 361,957 | |
Agolic KLEE, GPT-5.5, seed finder offagent, open track, six cores, version 1.0.1+ | 812 | 807–829 | 66.0% | 3 | 337,815 | |
Agolic KLEE, GPT-5.5, proposal review offagent, open track, six cores, version 1.0.1+ | 846 | 813–854 | 68.7% | 3 | 395,447 | |
Agolic KLEE, GPT-5.5, run history withheldagent, open track, six cores, version unknown | 815 | 796–888 | 66.2% | 3 | 270,350 | |
Agolic KLEE, DeepSeek V4.1 Flash, effort lowagent, open track, six cores, version 1.0.1+ | 788 | 783–799 | 64.0% | 3 | 1,691,874 | |
Agolic KLEE, DeepSeek V4.1 Flash, effort highagent, open track, six cores, version 1.0.1+ | 791 | 777–827 | 64.3% | 3 | 2,423,342 | |
Agolic KLEE, GPT-5.4 supersededagent, open track, six cores, version unreleased+ | 829 | 779–834 | 67.3% | 3 | not reported | |
| Seeding group, 2 tools | ||||||
SymTuner rerun, 6 coressymbolic, open track, six cores, version 71806b45 | 665 | 662–665 | 54.0% | 3 | not applicable | |
SymTuner from the agent's seeds, 6 cores, its own testssymbolic, open track, six cores, version 71806b45 | 649 | 639–714 | 52.7% | 3 | not applicable | |
| Control group, 4 tools | ||||||
AFL++ rebuilt targets fixed trackfuzzer, fixed track, version 5.02c | 197 | 197–197 | 16.0% | 3 | not applicable | |
KLEE fixed options, 1 coresymbolic, open track, one core, version efa1e052 | 526 | 434–561 | 42.7% | 5 | not applicable | |
KLEE uniform options, 1 coresymbolic, open track, one core, version efa1e052 | 598 | 572–632 | 48.6% | 5 | not applicable | |
SymTuner, 1 coresymbolic, open track, one core, version 71806b45 | 614 | 538–686 | 49.9% | 5 | not applicable | |
finals.csv in the results repositoryBranches reached by one tool only
| Tool | Runs in union | Branches reached | Share (union) | Reached by this tool only |
|---|---|---|---|---|
Agolic KLEE, GPT-5.5 | 3 | 865 | 70.3% | 0 |
Agolic KLEE, DeepSeek V4.1 Flash | 3 | 889 | 72.2% | 8 |
Agolic Direct-Input, DeepSeek V4.1 Flash | 3 | 955 | 77.6% | 5 |
Agolic AFL++, DeepSeek V4.1 Flash | 3 | 854 | 69.4% | 0 |
ConcoLLMic, GPT-5.5 | 3 | 932 | 75.7% | 5 |
ConcoLLMic, DeepSeek V4.1 Flash | 3 | 922 | 74.9% | 1 |
KLEE fixed options, 6 cores | 3 | 613 | 49.8% | 0 |
KLEE uniform options, 6 cores | 3 | 716 | 58.2% | 0 |
SymTuner, 6 cores | 3 | 755 | 61.3% | 0 |
AFL++, 1 core | 3 | 197 | 16.0% | 0 |
SymCC + AFL++, 1 core | 3 | 204 | 16.6% | 0 |
SymSan + AFL++, 1 core | 3 | 203 | 16.5% | 0 |
Sanitiser findings
Signatures in each tool’s final test cases.
| Tool | Runs replayed | AddressSanitizerkind, signatures | UndefinedBehaviorSanitizerkind, signatures |
|---|---|---|---|
Agolic KLEE, GPT-5.5 | 3 | none found | none found |
Agolic KLEE, DeepSeek V4.1 Flash | 3 | none found | none found |
Agolic Direct-Input, DeepSeek V4.1 Flash | 3 |
| none found |
Agolic AFL++, DeepSeek V4.1 Flash | 3 |
| none found |
ConcoLLMic, GPT-5.5 | 3 |
| none found |
ConcoLLMic, DeepSeek V4.1 Flash | 3 |
| none found |
KLEE fixed options, 6 cores | 3 | none found | none found |
KLEE uniform options, 6 cores | 3 | none found | none found |
SymTuner, 6 cores | 3 | none found | none found |
AFL++, 1 core | 3 | none found | none found |
SymCC + AFL++, 1 core | 3 | none found | none found |
SymSan + AFL++, 1 core | 3 | none found | none found |
AFL++ rebuilt targets | 3 | none found | none found |
KLEE fixed options, 1 core | 5 | none found | none found |
KLEE uniform options, 1 core | 5 | none found | none found |
SymTuner, 1 core | 5 | none found | none found |
Agolic KLEE, GPT-5.4 | 3 | none found | none found |
Agolic KLEE, GPT-5.5, effort low | 3 |
| none found |
Agolic KLEE, GPT-5.5, effort extra high | 3 |
| none found |
Agolic KLEE, GPT-5.5, Harness-Entry Mode only | 3 | none found | none found |
Agolic KLEE, GPT-5.5, Seeded-Prefix Mode only | 3 |
| none found |
Agolic KLEE, GPT-5.5, seed finder off | 3 |
| none found |
Agolic KLEE, GPT-5.5, proposal review off | 3 | none found | none found |
Agolic KLEE, GPT-5.5, run history withheld | 3 | none found | none found |
Agolic KLEE, DeepSeek V4.1 Flash, effort low | 3 |
| none found |
Agolic KLEE, DeepSeek V4.1 Flash, effort high | 3 |
| none found |
SymTuner rerun, 6 cores | 3 | none found | none found |
SymTuner from the agent's seeds, 6 cores, its own tests | 3 | none found | none found |
unknown-crash: a crash the sanitiser could not classify.
Counts are of untriaged signatures. † marks fewer than three runs.