论文研究-一种基于SAT的C程序缓冲区溢出漏洞检测技术 .pdf

【文件属性】：

文件名称：论文研究-一种基于SAT的C程序缓冲区溢出漏洞检测技术 .pdf

文件大小：367KB

文件格式：PDF

更新时间：2022-09-03 10:29:58

模型检验

一种基于SAT的C程序缓冲区溢出漏洞检测技术，陈石坤，李舟军，缓冲区溢出是C程序中很多安全问题的根源。本文给出一种基于SAT的C语言缓冲区溢出检测方法。该方法利用源代码变换技术，在程序源码�