【摘 要】
：
针对现有动态污点分析平台由于欠污染和过污染导致的准确度问题,研究并实现了一种面向二进制程序的动态污点分析方法。从污点标记、污点传播和污点检测三个方面对现有污点分
【机 构】
：
南京航空航天大学计算机科学与技术学院,江南计算技术研究所
【基金项目】
：
国家重点研发计划“云计算和大数据”重点专项(2016YFB1000500)
论文部分内容阅读
针对现有动态污点分析平台由于欠污染和过污染导致的准确度问题,研究并实现了一种面向二进制程序的动态污点分析方法。从污点标记、污点传播和污点检测三个方面对现有污点分析技术的准确率问题进行改进,扩展了污点标记状态空间与污点传播状态转换的行为实体,根据指令特征对X86架构指令进行分析和归类,设计了兼顾数据流传播策略与控制流传播策略的污点传播策略,扩充了关于间接污染、潜在漏洞、污点清除等污点传播规则,定义了新的污点检测安全规则与相应的处理方式,完善了污点检测处理方法。基于上述方法实现了改进的动态污点分析原型系统ODDTA,对原型系统的实验结果表明,该方法可有效解决现有污点分析平台的漏报和误报问题,提升污点分析的准确率和执行效率。
其他文献
商业银行的重要资产为信贷资产,在进行信贷业务的过程中所产生的风险便是信贷风险,其具体是指因为借款企业在信用方面出现不良情况,不能及时偿还贷款,使资产出现一些损失,甚
康养产业内涵及其发展现状通常认为,康养产业就是为社会提供康养产品和服务的各相关产业部门组成的业态总和。广义的康养产业是围绕生命存在提供服务的产业,其内容包括为实现
[目的]探讨早期应用生大黄液灌肠、芒硝腹部外敷联合奥曲肽对重症急性胰腺炎(SAP)的治疗效果及其对预后的影响。[方法]将40例SAP患者随机分为对照组和治疗组,对照组按照SAP的
目的本研究旨在通过高通量基因芯片技术筛选肝癌中差异表达的长链非编码RNA,探究长链非编码RNA LINC01093的差异表达与临床指标的相关性,并构建LINC01093过表达体系,探究LINC
简要介绍语篇的概念及语篇教学研究的理论依据,采用观察法和案例分析法,从语篇意识、语言情境、语用能力三个维度开展教学设计研究,对文本的语言衔接、深层内涵、情感发展进
目的将甲状腺癌超声诊断结果与病理学诊断结果进行对比,研究超声诊断的符合率,探讨超声影像学诊断的优点和用于甲状腺癌诊断的临床价值。方法回顾性分析2011年至2015年收诊的
目的：肺癌是恶性肿瘤中发病率和死亡率较高的肿瘤之一。转移是肺癌治疗失败和患者死亡的主要原因,那么对转移过程的深入理解对治疗肺癌的有效新方法的形成是至关重要的。近来,
西藏农牧民收入相对较低,是新时期西藏发展进程中最受决策者和学者关注的民生问题,更是西藏实现既定小康目标所面临的一个主要障碍。本文依据统计数据并结合第一手资料和长期