基于类型的动态污点分析技术研究.pdfVIP

基于类型的动态污点分析技术研究 陈力波 诸葛建伟 田 繁 鲍由之 陆 恂 清华大学 计算机科学与技术系北京 清华大学 网络科学与网际空间研究院北京 摘要动态污点分析技术是目前一种主要的软件漏洞分析技术但在二进制 代码分析中由于缺少类型支持目前只能工作在内存地址与寄存器粒度上 为漏洞机理语义分析带来了较大困难本文提出了基于类型的动态污点分 析技术定义外部输入变量为污点变量并添加变量的类型信息与符号值作 为污点属性利用函数指令的类型信息来跟踪污点变量传播过程进行类 型感知