摘要
T.Apiwattanapong,A.Orso,M.J.Harrold,“面向对象程序的差分算法”,IEEE自动化软件工程国际会议,第2-132004页。 谷歌学者 数字图书馆 C.Collberg、C.Thomborson和D.Low,“打破抽象和非结构化数据结构”,IEEE国际计算机语言会议,第28-38页,伊利诺伊州芝加哥,1998年。 谷歌学者 数字图书馆 D.Jackson和D.A.Ladd,“语义差异:总结修改影响的工具”,IEEE软件维护会议,第243-252页,1994年11月。 谷歌学者 数字图书馆 C.Jaramillo、R.Gupta和M.L.Soffa,“比较检查:避免调试优化代码的方法”,第七届欧洲软件工程会议和ACM SIGSOFT第七届软件工程基础研讨会,LNCS 1687,Springer Verlag,第268-284页,法国图卢兹,1999年9月。 谷歌学者 数字图书馆 C.Jaramillo、R.Gupta和M.L.Soffa,“通过比较检查调试和测试优化器”,《编译器优化与编译器验证国际研讨会》,《理论计算机科学电子笔记》第65期(2002年),与ETAPS联合举办,法国格勒诺布尔,2002年4月。 谷歌学者 R.Komondoor和S.Horwitz,“语义保留过程提取”,第27届ACM SIGPLAN-SIGACT编程语言原理,第155-1692000页。 谷歌学者 数字图书馆 J.R.Larus和E.Schnarr,“EEL:独立于机器的可执行编辑”,SIGPLAN编程语言设计与实现会议,第291-300页,1995年。 谷歌学者 数字图书馆 J.Laski和W.Szermer,“程序修改的识别及其在软件维护中的应用”,IEEE软件维护会议,第282-290页,1992年11月。 谷歌学者 E.W.Myers,“O(ND)差分算法及其变化”,《算法》,1(2):251--2661986年。 谷歌学者 交叉引用 T.Reps、T.Ball、M.Das和J.Larus,“2000年问题应用程序维护中程序剖析的使用”,第六届欧洲软件工程会议和ACM SIGSOFT第五届软件工程基础研讨会,第432-449页,1997年。 谷歌学者 数字图书馆 A.Srivastava和A.Eustace,“ATOM-构建定制程序分析工具的系统”,SIGPLAN编程语言设计与实现会议,第196-205页,1994年。 谷歌学者 数字图书馆 Z.Wang、K.Pierce和S.McFarling,“BMAT-过时配置文件传播的二进制匹配工具”,《指令级并行性杂志》,2000年5月2日。 谷歌学者 C.Wang、J.Davidson、J.hill和J.Knight,“基于软件的生存机制保护”,可靠系统和网络国际会议,第193-202页,瑞典哥德堡,2001年7月。 谷歌学者 数字图书馆 N.Wilde,“使用软件侦察加快重用和维护”,技术报告SERC-TR-75F,SERC,佛罗里达大学,CIS部门,佛罗里达州盖恩斯维尔,1994年7月。 谷歌学者 A.Zeller,“从计算机程序中隔离因果链”,ACM SIGSOFT第十届软件工程基础国际研讨会,南卡罗来纳州查尔斯顿,2002年11月。 谷歌学者 数字图书馆 X.Zhang和R.Gupta,“整体执行轨迹”,IEEE/ACM第37届微体系结构国际研讨会,俄勒冈波特兰,2004年12月。 谷歌学者 数字图书馆 Trimaran编译器研究基础设施。 1997年11月。 谷歌学者 S.S.穆奇尼克。 《高级编译器设计与实现》,Morgan Kaufmann,1997年。 谷歌学者 数字图书馆
建议
DoubleTake:通过基于证据的动态分析快速准确地检测错误 ICSE’16:第38届国际软件工程会议记录 用不安全的语言(如C和C++)编写的程序经常会出现缓冲区溢出、悬空指针和内存泄漏等错误。 像Valgrind这样的动态分析工具可以检测这些错误,但它们的开销主要是由于。。。 动态点到集:与静态分析的比较以及在程序理解和优化中的潜在应用 PASTE'01:2001年ACM SIGPLAN-SIGSOFT软件工具和工程程序分析研讨会会议记录 在本文中,我们将C程序中指针的行为(由静态指针分析算法近似)与运行这些程序时指针的实际行为进行了比较。 为了进行此比较,我们实现了几个。。。