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.

本数据集收录了我方对SymCC的评估结果。如USENIX Security 2020会议论文《Symbolic execution with SymCC: Don't interpret, compile!, Poeplau and Francillon》所述：我们提出了SymCC，一款基于LLVM的C和C++编译器，该编译器能够将符号执行直接构建于二进制文件之中。软件开发者可将其作为clang和clang++的替代品直接使用，同时我们也展示了如何通过微小的努力为其他语言添加支持。