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.

本数据集收录了我们针对SymCC的评估结果。本内容源自论文《Symbolic execution with SymCC: Don't interpret, compile!》（作者Poeplau与Francillon，发表于USENIX安全研讨会2020）：该论文提出了SymCC，一款基于LLVM编译器框架的C/C++编译器，可将协同符号执行功能内置至二进制文件中。软件开发人员可将其作为Clang（C语言编译器）与Clang++（C++语言编译器）的即插即用替代工具，同时该研究还演示了如何以极低的开发成本为其添加对其他编程语言的支持。