【摘 要】
:
动态污点分析技术是目前一种主要的软件漏洞分析技术,但在二进制代码分析中由于缺少类型支持,目前只能工作在内存地址与寄存器粒度上,为漏洞机理语义分析带来了较大困难.本文
【机 构】
:
清华大学计算机科学与技术系,北京100084;清华大学网络科学与网际空间研究院,北京100084清华大学网络科学与网际空间研究院,北京100084
【出 处】
:
第五届信息安全漏洞分析与风险评估大会
论文部分内容阅读
动态污点分析技术是目前一种主要的软件漏洞分析技术,但在二进制代码分析中由于缺少类型支持,目前只能工作在内存地址与寄存器粒度上,为漏洞机理语义分析带来了较大困难.本文提出了基于类型的动态污点分析技术,定义外部输入变量为污点变量,并添加变量的类型信息与符号值作为污点属性,利用函数、指令的类型信息来跟踪污点变量传播过程,进行类型感知的污点传播以及面向类型变量的符号执行,从而获得污点变量传播图与程序执行路径条件,求解出输入变量的约束条件,支持全面了解输入变量在数据流中的传递和对控制流的影响,最终达到更好的安全漏洞语义理解.本文以分析浏览器安全漏洞为例应用该技术,运用动态二进制代码插装技术将分析代码插入目标进程,动态执行污点分析,设定策略规则检测进程是否非法使用污点数据,结合符号执行,解出输入变量约束条件.从数据依赖和控制依赖两方面,获得含有外部输入类型信息的安全漏洞特征.实验结果验证,基于类型的动态污点分析方法可以有效提升安全漏洞机理分析的语义,能够输出更易理解与使用的安全漏洞特征.
其他文献
分析了地下铁矿山传统采选工艺在资源利用及环境影响方面存在地下水位下降、地表塌陷、废石及尾矿占用耕地、污染环境、资源回采率低等弊端,介绍了马庄铁矿地下水治理、采空
使用Ru基催化剂进行甘油氢解制丙二醇的研究.催化剂的性能受载体和前处理条件的影响,负载型Ru催化剂经高温下氢气预还原处理后用于甘油氢解反应,1,3-丙二醇的选择性得到提高.
NOx储存还原(NSR)技术是解决稀燃条件下NOx消除的有效路径之一,但传统NSR催化剂抗硫性较差这一难题一直未得到有效解决.研究发现,BaFeO3钙钛矿样品具有较强的抗硫性能,Zr、Ti
基于前期对纳米Pd/Fe催化剂的研究,通过沉积沉淀法制备了不同负载型0.5%Pd-Fe,/C催化剂,其中Fe含量为0.25%、0.5%、1.0%、1.5%,以期得到更好的加氢脱氯效果.通过透射电镜(TEM)、粉
以Na-蒙脱石粘土矿物为原料,利用离子交换法合成了不同铝铁复合层柱粘土催化剂(不同的[Al]/[Fe]比值、[OH]/[M]比值、[M]/clay比值、不同交联剂制备温度以及煅烧温度),采用XR
本文以MgO为基体,制备了Co3O4/MgO系列脱氟剂,用于NF3分解反应,提高脱氟剂活性.结果表明CoF2(Co3O4的氟化产物)与MgO之间发生氟一氧交换反应(CoF2+MgO=CoO+MgF2,rG0=101.4 kJ
因冷冻机故障影响预冷系统的正常运行,对预冷系统无冷冻机操作模式进行新的探索和总结,经过对数据的收集和分析,最终形成新的操作思路,确保机组关键工艺参数受控,保证生产稳
本文对新3#制氧机组投产以及在粗氩塔的调整和提高液氩产量方面做了大量尝试,来提高液氩产品的产量.通过改进操作方法,液氢产量从原来的5.35m3液氢提高到了每天6.5m3,由于液氢产
主要通过优化工艺操作控制,依靠数学模型修正工艺控制,科学匹配工艺运行参数,通过购置在线氮中氧分析仪,对工艺控制效果进行跟踪,分析和验证工艺运行参数匹配实效,最终实现制
为有效地对信息系统安全威胁进行评估,本文提出了一种将STRIDE威胁模型与威胁树相结合的系统威胁分析方法,大大提高了威胁分析的效率,具有较好的实用性.通过运用此方法对网银