#symcc

使用SymCC执行符号：不解释，编译
Symbolic execution with SymCC: Don't interpret, compile(www.s3.eurecom.fr)
2020-7-8 19:55
美国马萨诸塞州波士顿，第29届USENIX安全研讨会(USENIX Security 20)论文集实用符号执行的一个主要障碍是速度，特别是与模糊测试等接近本地速度的解决方案相比。我们提出了一种基于编译的符号执行方法，其性能比最先进的实现要好几个数量级。我们介绍了SymCC，这是一个基于LLVM的C和C++编译器，它将......