SymCC evaluation data
收藏官方服务：
资源简介：
This dataset contains our evaluation results for SymCC.From the paper (<i>Symbolic execution with SymCC: Don't interpret, compile!</i>, 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.
提供机构：
figshare创建时间：
2023-10-09
