论文部分内容阅读
面向高可信软件提出了一种二进制级高危整数溢出错误的全自动测试方法（dynamic automatic integer-overflow detection and testing，简称DAIDT）．该方法无需任何源码甚至是符号表支持，即可对二进制应用程序进行全面测试，并自动发现高危整数溢出错误．在理论上形式化证明了该技术对高危整数溢出错误测试与发掘的无漏报性、零误报性与错误可重现特性．为了验证该方法的有效性，实现了IntHunter原型系统．IntHunter对3个最新版本的高可信应用程序（微软公司Win