![基于符号执行的二进制代码动态污点分析]()
论文摘要随着计算机在社会应用的日益增多,计算机安全逐渐成为关注的焦点。人们提出了许多技术来发掘软件的漏洞,污点分析和符号执行是其中两种有效的方法。污点分析是一种数据流分析方法,...
![基于关键路径覆盖的二进制程序测试技术研究]()
论文摘要随着信息时代的到来,计算机软件被广泛应用到社会各个领域,由软件安全漏洞带来的各种危害也日益严重。二进制作为软件的最终表现形式,是软件安全的理想研究对象,但目前二进制漏洞...
![基于二进制代码的动态符号执行工具]()
论文摘要程序分析正在成为计算机安全领域一个重要的组成部分。它对于评估应用程序安全,乃至操作系统安全都有着特殊的意义。现有的程序分析方法很多,污染传播技术和符号执行技术是其中两种...
![基于符号执行的Web安全检测系统的研究与实现]()
论文摘要随着互联网的普及，Web已经应用的各个领域，但针对于Web应用程序漏洞的攻击也越来越多，其危害程度也越来越大，虽然采取了多层的安全措施，但应用程序本身的漏洞，这些措施都...
![多重循环程序内存访问越界增量检测方法]()
论文摘要在严重威胁软件系统可靠性和安全性的多类软件缺陷中,内存访问越界属于危害性很强且广泛存在的一类缺陷,可被黑客利用并转变成多种拒绝服务漏洞和著名的缓冲区溢出等高危险性的安全...
![何香凝：基于符号执行的家居网关协议级能耗建模论文]()
本文主要研究内容作者何香凝,郭荣佐,黄君（2019）在《基于符号执行的家居网关协议级能耗建模》一文中研究指出：为分析智能家居网关协议转换过程中的能量消耗情况,利用符号执行对路径...
