【摘 要】
：
不当内存操作一直是引发软件漏洞的主要原因之一。堆分配大小可控(CMA)是指当动态内存分配的关键参数可以被外界输入控制时,恶意用户可以通过精心构造输入数据导致非预期的内
【机 构】
：
清华大学计算机科学与技术系,北方电子设备研究所,解放军电子工程学院网络工程系,
论文部分内容阅读
不当内存操作一直是引发软件漏洞的主要原因之一。堆分配大小可控(CMA)是指当动态内存分配的关键参数可以被外界输入控制时,恶意用户可以通过精心构造输入数据导致非预期的内存分配。该文讨论了CMA可能引发的相关安全问题和CMA的检测方法。该CMA检测方法主要通过结合静态路径分析和路径导向符号执行技术的优势,系统地检测目标代码中的CMA问题。在经典的符号执行引擎KLEE的基础上,实现了CMA检测原型系统SCAD;通过对Linux系统常用的工具程序Coreutils进行测试,SCAD发现了10个CMA相关的问题,其中3个属于未公开漏洞。实验结果表明:SCAD的导向路径搜索算法与KLEE提供的8个路径搜索算法相比具有明显优势;针对内存分配相关的代码,SCAD的导向符号执行相比传统的符号执行引擎具有更高的代码覆盖率。
其他文献
城市天然气既方便又卫生,深受人民喜爱。但若使用不当,不注意安全也会发生火灾、爆炸和中毒事故,甚至危害人的生命。这里就如何正确使用天然气以及发生危险情况时如何解决等
编者按$$“千呼万唤始出来。”8月底，第三批自贸区面容终露，辽宁省、浙江省、河南省、湖北省、重庆市、四川省、陕西省新设立7个自贸试验区，将自贸区的总数从4个提升到11个。$$
革家人是一个具有悠久历史的民族,是原始社会时期一个以稻作为主的部族,是从河南迁居在贵州省黔东南一带最早的民族之一。早在800年以前，革家人有29个姓氏，人口达200多万人。由
虚拟企业是在知识经济时代诞生的一种新的企业组织形式,进行知识创造是虚拟企业保持竞争优势的关键。该文揭示了虚拟企业知识创造的内涵,并在野中郁次郎提出的SECI(Socializa
交互桌面是多人协同应急管理系统的高效平台,但它的交互特性以及应急管理系统的特点容易造成明显的窗口堆叠现象,导致重要信息无法优先显示。该文在内容感知和注意力导引空间
篮球运动中,核心后卫竞技水平的高低直接决定着球队的命运,核心后卫的能力培养是至关重要的。在查阅了大量的文献资料和充分的调查研究的基础上,阐明了核心后卫在临场比赛中
以传统中医药学理论为基础,结合现代药物研究的体外分子作用靶点和体内动物实验,探索治疗代谢综合征的中药复方景丹胰敏剂(JD)的药材选择、复方的组成、配比及其有效剂量。应
聚合物强化泡沫是一种聚合物作为稳定剂加入到泡沫中的驱油体系。在分析了聚合物强化泡沫剂性能基础上,通过可视化填珠模型研究了强化泡沫在孔喉中的封堵特征,利用二维平面模
文章通过对四川省高职院校体育教师教学和科研等现状进行调查,针对高职院校体育教师习得性无助心理逐渐滋生的现象,分析习得性无助心理产生的原因,为改善高职体育教师的习得
通过计算机检索Cochrane library,Pub Med,Medline,中国知网数据库、中国生物医学文献数据库、中文科技期刊全文数据库,检索时间从数据库建库至2014年6月,纳入鸦胆子油乳注射