【摘 要】
：
为降低整数漏洞插装验证的运行开销，提出基于信息流的整数漏洞插装方法.从限定分析对象范围的角度出发，将分析对象约减为污染信息流路径上的所有危险整数操作，以降低静态插装密
【机 构】
：
计算机软件新技术国家重点实验室（南京大学）,南京大学计算机科学与技术系
【基金项目】
：
国家自然科学基金(61170070,90818022,61021062);国家科技支撑计划(2012BAK26B01);国家高技术研究发展计划(863)(2011AA1A202)
论文部分内容阅读
为降低整数漏洞插装验证的运行开销，提出基于信息流的整数漏洞插装方法.从限定分析对象范围的角度出发，将分析对象约减为污染信息流路径上的所有危险整数操作，以降低静态插装密度.在GCC平台上，实现了原型系统DRIVER（detect and run-time check integer-based vulnerabilities with information flow）.实验结果表明，该方法具有精度高、开销低、定位精确等优点.
其他文献
<正>同志们:新年伊始,开学之初,我们召开这次网络视频会议,主要是向大家介绍一下教育部关于大学英语教学改革的总体思路和工作要求,共同推进大学英语教学改革。首先,我谨代表
目的:总结ICU患者肠内营养相关性腹泻的情况,分析其成因及相应的护理干预措施。方法:回顾性分析本院ICU2007年至2010年130例行肠内营养的患者排便的情况,结合患者病情,分析肠
基于平均最近邻、标准差椭圆、核密度等分析方法,研究了用于民用临时住房的小型彩钢棚和工业用大型彩钢棚的空间分布特征。实验结果表明,安宁城区小型彩钢棚、大型彩钢棚在空
通过生物反馈技术与访谈相结合的方式研究不同题材的课外书籍对于大学生阅读兴趣的影响。在实验中选取四本课外读物作为实验用书,结合阅读兴趣问卷,采集被试者的注意力波（SMR）
本文以明代文献为依据,讨论了明代汉语中的修辞称谓与变异称谓。举例说明了比喻、借代、用典、藏词、析字、谐音、反语等修辞手段在明代汉语称谓中的运用情况,考察了明代称谓
针对木塑复合材料3D成型，在合适挤出参数的控制下，实现挤出喷嘴口径的自适应变化，从而节约时间、节省成本和改善制品质量。运用数值模拟的方法，分析了常用的聚丙烯基木塑复合材料
渤海湾盆地是我国东部典型的油型盆地,近几年随着勘探向深层领域的延伸,首次在渤中凹陷发现了储量规模较大的凝析气藏,初步展现了巨大的勘探潜力。而凝析气藏烃类流体相态的类型和分布特征是油气资源评价的重要依据,但对渤中凹陷凝析气藏烃类流体相态的特征、影响因素和成因机制等方面的认识还不够深入。因此,本文采用地层流体高温高压物性(PVT)实验和流体相态理论模拟相结合的方法,在地层流体PVT实验测试结果的基础上
对绿色农业及其相关技术进行了简单论述,并分析现代绿色农业的主要特点,然后从若干方面对当前节药类绿色农业技术进行探讨,最后总结出两类具有节肥效果的环保农业技术。
从造型、装饰和设计思想三个方面论述了明式椅类家具对现代中式椅类家具的影响，展现了现代中式椅类家具在传承中发展的历程。
呼和浩特是国务院批准的国家历史文化名城，拥有丰富的旅游资源和潜力巨大的旅游市场。本文针对呼和浩特旅游业的发展，采用SWOT分析法，全面分析了呼市旅游业的优势和劣势，面临的机