SymSan
Concolic execution based on dynamic data-flow analysis, run here as a hybrid with a fuzzer. The build is a reconstruction from the source of the artifact.
Terms
- Release
- A dated snapshot of the data, named like 2026.1. It never changes; corrections go into the next release.
- Entry
- A tool in one version and configuration, with a model, a track and a budget. One row of the data.
- 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.
Reference: www.usenix.org/conference/usenixsecurity22/presentation/chen-ju
Versions
| Entry | Version | Model | Configuration | Submitted | First release | Programs covered | Status |
|---|---|---|---|---|---|---|---|
| SymSan + AFL++, 1 core | 2937d1c0+ | – | source reconstruction of the usenix22 artifact; seeds of the original evaluation; fixed command line; one core | 2026-10-16 | 2026.1 | 6 of 18 | current |