【摘 要】
：
针对开源软件Cppcheck误报率和漏报率过高，且不能检测出运行时程序缺陷等问题，基于Cppcheck程序，提出了抽象区间集算法，并将其应用于数组边界缺陷检测。在Cppcheck框架内，通过引入
【基金项目】
：
国家自然科学重点基金资助项目(91118005);国家自然科学基金资助项目(61173130);重庆市自然科学基金资助项目(CSTC-2010BB2217)
论文部分内容阅读
针对开源软件Cppcheck误报率和漏报率过高，且不能检测出运行时程序缺陷等问题，基于Cppcheck程序，提出了抽象区间集算法，并将其应用于数组边界缺陷检测。在Cppcheck框架内，通过引入区间集概念，建立每个程序点变量和表达式的整型区间集和数组区间集，并由此定位出程序中的矛盾点，最终检测出程序缺陷。与Cppcheck相比较，所提算法的查准率提高18．5％，漏报率降低22．5％，误报率提高3．5％。实验结果表明，该方法能有效地检测出运行程序缺陷，并提高Cppcheck缺陷检测性能。
其他文献
近年来,随着社会不断发展和人类活动加剧,湖泊富营养化问题日益突出,成为全球共同面对的重大环境问题。巢湖西半湖蓝藻聚集生长,是水华频繁爆发的重灾区,本文以巢湖西北部蓝
目的探讨同步放化疗综合治疗中晚期鼻咽癌的临床疗效。方法1998—2006年我科收治的中晚期鼻咽癌64例,原发灶放疗方案为双侧面颈联合野常规分割放疗40 Gy后局部光子刀加量,DT
MicrosoftAgent可提供人性化编程技术,可使计算机具有更好的人机交互性,其应用前景相当广泛。它支持VC、VB、Java、JScript和VBScript等多种编程语言,并提供多种编程方法,文
建国五十年来,我国房地产业发展历程是曲折的。改革开放前,住宅基本上是一种福利产品,其产权归国家所有,不具有商品属性,这种不符合我国国情的房地产体制实行的结果是给国家
<正>第一、共享经济发展趋势和理论基础共享经济,对应商业模式是以租代买,理论实质是什么?是产权革命,而且是自法国大革命以来,从来没有发生过的产权革命,表现为产权的核裂变
<正>高中数学思想方法分为知识性和思维性2种,知识性的思想方法主要包括函数思想.以函数的观点解决数学问题、进而培养数学建模的思想;而思维性的思想方法比较典型的为数形结
我们采用典型的Witting 路线设计并合成了一系列腰接不同长度柔性烷氧基链的PPV 齐聚物(4D16 、4D12和4D6),同时利用1HNMR 和FT-IR 确认了其分子结构;并对其光物理性、电化学
在探讨了国际经济周期波动原因的前提下,阐明了经济周期波动从发达国家到发展中国家的传导机制,分析了国际经济周期波动与中国经济增长的关联性问题。最后指出,当前应当密切
针对杭州地区某市政隧道工程,采用“两墙合一”地下连续墙对原设计的钻孔咬合桩围护结构进行优化,通过将围护结构和主体结构合二为一的方法,可以很好地发挥连墙本身的抗拔和
本文通过熔融共缩聚的方法合成了不同离子含量的聚酯类离聚物（SPBT）及其液晶离聚物（SPBT/PHB）,并对SPBT及其液晶离聚物的结构进行了表征,分析了离子基团引入对SPBT及其液晶离聚物