Agent Software Testing

SymCC

Compilation-based concolic execution, run here as a hybrid with a fuzzer.

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.
All tools

Project: github.com/eurecom-s3/symcc

Reference: www.usenix.org/conference/usenixsecurity20/presentation/poeplau

Versions

Every entry of SymCC
EntryVersionModelConfigurationSubmittedFirst releasePrograms coveredStatus
SymCC + AFL++, 1 core07c8895f+06a515fa–paper topology; seeds of the original evaluation; fixed command line; one core2026-10-162026.16 of 18current