论文部分内容阅读
为解决传统的二进制代码漏洞发现技术自动化程度低、误报率高等问题,提出一种基于功能模型的二进制代码漏洞发现技术,研究将二进制代码转化成简化汇编语言中间表示,建立指令的操作语义、抽象转移函数和代码抽象存储空间等技术,设计实现具有形式化验证和推理功能的代码功能模型。基于功能模型的二进制漏洞发现技术能有效减少测试用例生成的盲目性,提高测试用例集的有效性及漏洞挖掘的自动化程度和效率。