关于金属、切片和符号执行的协同性
摘要：使用一种新的技术来找出程序中的真实错误。该技术基于三种众所周知的方法的综合应用：元编译、切片和符号执行。具体而言，我们通过插入跟踪代表不同类型错误的状态机运行的代码来对给定程序进行仪器化。然后，我们对程序进行切片，以减小其大小而不影响状态机的运行。最后，我们对切片程序进行符号执行。根据符号执行的种类，该技术可以作为独立的错误查找技术，或用于从另一个错误查找工具的输出中消除一些误报。我们提供了几个示例来证明我们的技术的实际适用性。
作者：Jiv{r}''i Slab''y, Jan Strejv{c}ek, Marek Trt''ik
论文ID：1201.4719
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-01-24