ARCHIVE
symcc_cgc_concolic_coverage.tar.gz (309.82 kB)
DATASET
symcc_cgc_concolic_time.csv (3.45 kB)
DATASET
symcc_cgc_pure_time.csv (4.21 kB)
ARCHIVE
symcc_afl_libarchive.tar.gz (7.22 MB)
ARCHIVE
symcc_afl_openjpeg.tar.gz (7.65 MB)
ARCHIVE
symcc_afl_tcpdump.tar.gz (3.4 MB)
1/0
SymCC evaluation data
This dataset contains our evaluation results for SymCC.
From the paper (Symbolic execution with SymCC: Don't interpret, compile!, Poeplau and Francillon, USENIX Security 2020): We present SymCC, an LLVM-based C and C++ compiler that builds concolic execution right into the binary. It can be used by software developers as a drop-in replacement for clang and clang++, and we show how to add support for other languages with little effort.
Funding
DAta Protection of COnnected Devices and Smartphones – DAPCODS
Agence Nationale de la Recherche
Find out more...