【摘 要】
：
指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求.文中提出一种新
【机 构】
：
中国科学院计算技术研究所计算机体系结构国家重点实验室,首都师范大学信息工程学院,中国科学院研究生院
【基金项目】
：
自然科学基金青年科学基金项目(61100011);国家“九七三”重点基础研究发展规划项目基金(2011CB302504);国家“八六三”高技术研究发展计划项目基金(2012AA010901);国家自然科学基金创新研究群体科学基金(60921002);核高基国家重大科技专项基金项目(2011ZX01028-001-002)资助~~
论文部分内容阅读
指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求.文中提出一种新型的错误检测方法,该方法基于域敏感、流敏感和上下文敏感的传播引擎,通过定义错误属性格、在源程序中对错误属性格值进行计算和传播来完成错误检测.在开放源码编译器Open64中实现了其原型系统Propagator.以空指针引用错误检测为实例研究内容,使用Apache、OpenSSH、gzip等应用领域广泛的典型应用为实验用例.与Saturn、Splint和Clang-SA进行对比,Propagator的平均检测时间仅为12s,误报率平均仅为13%,远低于对比工具,且没有发现漏报已知错误.上述结果表明,Propagator既提高了检测精度又保证了可扩展性,具有很好的实用前景.
其他文献
坐落在华莹山下、渠江两岸的川东北广安县，历史悠久，人杰地灵，因为是“中国改革开放的总设计师”邓小平同志的故乡而名扬四海。清明节前夕，我穿过繁华、热闹的广安县城，沿着绿树、
成人高等教育是我国高等教育的重要组成部分，它已形成了与普通高等学校教育。两条疆走路”，协黻晨的格局。据有关数据表明；1997年底．我国共有独立设置的成人高校1107所，举办成人高
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
塞种人是中亚最古老的民族之一,公元前2000年前后遍布天山南北。大量的文献资料及墓葬研究都证明:塞种是以中亚土著居民为主体的,融合了东迁的雅利安人和西来游牧民族的联盟,
根据矿井水文地质地面物探验证报告和采空积水区专项普查报告,完成了215101工作面定向钻探技术疏放老空水的探放水设计,通过探放水工程解决了工作面上覆3煤小窑破坏导致积水
做为哲学理想的共产主义,它不是幻想和空想,而是一种真理.而做为哲学真理的共产主义,是一个辩证发展的过程.马克思后的人类实践不是背离共产主义的哲学理想,而是曲折地向这理
党的十四届四中全会提出了在新形势下加强党的建设的新任务,它对于把我们党建设好、推进社会主义市场经济体制的建立,有着重要的现实意义.而加强党的建设的出发点和落脚点,是
压力容器无损检测技术是现代社会中应用的新型检测技术,这种检测措施通过外部检测,获得压力容器的内部 检测成果.声发射检测技术是现代无损检测技术中的一种形式,在生产检测
同步网与电信管理网、信令网并称电信网的三大支持网，是现代通信网正常运行的基础。数字同步网能够准确地将同步信息从基准时钟向同步网络的各个节点传递，调节网络时钟，保持同步
根据木瓜煤矿南区9、10煤层赋存及开采条件,分析了分层开采、放顶煤开采、大采高开采的适用性,从煤层厚度、回收率及经济技术等角度,对南区9、10、9+10煤采煤方法进行论证,并