【摘 要】
：
能通过编译的C/C＋＋程序代码可能依然隐含安全、设计或风格上缺陷,从而导致运行时出现内存泄露、运行异常等现象,难以完成软件需求所预期的目标。针对开源软件缺陷检测工具Cppch
【基金项目】
：
国家自然科学重点基金(No.91118005);国家自然科学基金(No.61173130);重庆市自然科学基金(CSTC-2010BB2217)
论文部分内容阅读
能通过编译的C/C＋＋程序代码可能依然隐含安全、设计或风格上缺陷,从而导致运行时出现内存泄露、运行异常等现象,难以完成软件需求所预期的目标。针对开源软件缺陷检测工具Cppcheck软件存在的不足,主要分析了Cppcheck架构、缺陷模式表示与实现,在对已收集350个缺陷模式分析总结基础上,对其完善,提高缺陷检测能力。通过两组实验验证改进Cppcheck工作的有效性。
其他文献
目前,我国大多数旅行社处于发展初期,在面临激烈的市场竞争时,往往走入低水平的价格竞争圈子中去。在单纯的价格竞争中,多数旅行社都是失败者,结果是导致整个行业的利润水平
<正>62岁男性患者,诊断为蕈样肉芽肿/皮肤T细胞淋巴瘤(CTCL)IIB期(T3N2M0B1),给予贝沙罗汀、α-2b干扰素(INF)口服及体外光疗。4个月后全身给予皮肤电子束以及口服INF-γ治疗
特种煤油型无味溶剂油(简称无味煤油),具有高度的洁净度和优良的安定性,是精细化工用特种溶剂之一。通常国外溶剂油的硫含量和芳烃含量都很低,具有无毒、无味等特点。随着我
慢性前列腺炎是男科常见疾病,易于复发,可严重影响患者的生活质量。通过简要介绍曾庆琪教授治疗慢性前列腺炎的案例,并加以分析,以进一步阐述曾庆琪教授的学术思想。
国医大师路志正在认真研究中医经典的基础上,结合自己临床经验和现代研究成果,以风湿病代替传统中医中的痹证,并提出了"燥痹""产后痹",完善了中医风湿病、湿病学,开拓了中医
<正>编撰《九章算术注》的数学家刘徽主张在数学学习中要"引为升之,触类而长之",2014年广东省高考数学理科试卷的第20题的探究渗透着刘徽的这种温故归纳、类比创新的数学思想
在防雷检测实际工作当中,经常出现的接地电阻值读数偏大、偏小、甚至出现检测值为负值等不稳定的情况,该文通过分析各种接地电阻的检测方法、测试仪的工作原理及使用范围,结
<正>在后市场渠道愈发扁平化的今天,O2O渠道受到了众企业的热捧。龙膜自去年8月首次尝试O2O模式以来,其良好的线上与线下完美结合的产品与服务,获得众多客户的认可。如今,龙
<正>当我们的企业艰难地突破着"富不过三代"的魔咒时,近邻日本却有两万多家百年老铺。京都,作为日本百年老铺最集中的存在,他们企业的传承不仅是经营主体的传承,更是对企业文
目的加强护理信息化建设,以提高护理质量和护理管理质量。方法以医院信息化数字平台为依托,开发基于Android智能手机+WLAN技术的移动护理信息系统。功能模块包括患者腕带管理