【摘 要】
：
软件静态缺陷检测是软件安全领域中的一个研究热点.随着使用C/C++语言编写的软件规模和复杂度的逐渐提高,软件迭代速度的逐渐加快,由于静态软件缺陷检测不需要运行目标代码即可发现其中潜藏的缺陷,因而在工业界和学术界受到了更为广泛的关注.近年来涌现出大量使用软件静态分析技术的检测工具,并在不同领域的软件项目中发挥了不可忽视的作用,但是开发者仍然对静态缺陷检测工具缺乏信心.高误报率是C/C++静态缺陷检测
【机 构】
：
计算机体系结构国家重点实验室(中国科学院计算技术研究所)
【基金项目】
：
国家自然科学基金（61802368,62090024）；
论文部分内容阅读
软件静态缺陷检测是软件安全领域中的一个研究热点.随着使用C/C++语言编写的软件规模和复杂度的逐渐提高,软件迭代速度的逐渐加快,由于静态软件缺陷检测不需要运行目标代码即可发现其中潜藏的缺陷,因而在工业界和学术界受到了更为广泛的关注.近年来涌现出大量使用软件静态分析技术的检测工具,并在不同领域的软件项目中发挥了不可忽视的作用,但是开发者仍然对静态缺陷检测工具缺乏信心.高误报率是C/C++静态缺陷检测工具难以普及的首要原因.因此,选择现有的较为完善的开源C/C++静态缺陷检测工具,在Juliet基准测试集和37个良好维护的开源软件项目上对特定类型缺陷的检测效果进行了深入研究,结合检测工具的具体实现,归纳了导致静态缺陷检测工具产生误报的关键原因.同时,通过研究静态缺陷检测工具的版本迁移轨迹,总结出了当下静态分析工具的发展方向和未来趋势,有助于未来静态分析技术的优化和发展,从而实现静态缺陷检测工具的普及应用.
其他文献
＜正＞在2020年抗击新冠肺炎疫情战役中,中医药发挥了重要作用,成为这场阻击战中的一大特色和亮点。面对疫情,天津中医药大学省部共建组分中药国家重点实验室在实验室主任张伯礼院士带领下,将临床救治和科学研究同步推进,在中医证候学调查研究、中药疗效循证评价、活性中成药筛选、创新中药研制等方面开展了卓有成效的研究工作,获得天津市抗击新冠肺炎疫情特别奖一等奖;被授予全国抗击新冠肺炎疫情先进集体称号,这也是科
目的 观察瘀血痹片联合温针灸对肩周炎患者疼痛及肩关节功能的影响。方法 选取2017年6月—2020年6月期间上海中医药大学附属曙光医院收治的肩周炎患者100例，采用随机摸球法分为对照组和联合组，每组各50例。对照组予瘀血痹片治疗，在此基础上联合组加用温针灸治疗。观察比较两组患者临床疗效、随访复发率，同时比较两组患者治疗前后肩关节疼痛程度、活动功能及血浆B-内啡肽（β-endorphin,β-EP）
目的 探讨重症监护病房（ICU）人工气道集束化护理管理对呼吸机相关性肺炎（VAP）的影响效果。方法 随机选取2016年4月-2018年4月某院收治的行机械通气治疗60例患者作为研究对象，选用常规护理模式30例为参照组，选用人工气道集束化护理管理30例为研究组，分析讨论两组的临床效果。结果 ICU患者护理期间，研究组住院和机械通气治疗时间均比参照组短，差异显著具备统计学意义（P＜0.05）;ICU患
艺术进行到后现代时期,由以往的综合性绘画变成了某一方向单纯深入的研究。极简主义是现代主义的最末期,也是后现代主义的开端,这条线索一直延承在后现代主义的过程之中。随着时代发展,大漆这一传统材料在人们认知的不断前进与当代的艺术思潮的影响下焕发新生,所谓笔墨当随时代,这是中国传统文化在当代创新的一个重要方式。本文旨在从极简主义的创作理念下,使用大漆作为材料,就一单纯的主题——肌理与光泽,展开深入的研究,
＜正＞结合当前小学美术教材来看，随着教材的革新，融入了更多我国民间美术元素。由此可见，民间美术成为当下小学美术教学的重点内容之一，并且受到持续的关注。但是结合教学现状来看，在美术课堂中普遍存在教学资源不足、教学方法单一等问题，想要改善这一问题，就要加强民间美术的应用，通过融合教材、激发学生主动性等方式，推动美术教学发展，促进小学美术与民间美术更有效的融合。
新闻名誉侵权涉及的赔偿类型包括精神损害赔偿和经济损失赔偿,二者的关键问题是在新闻侵权成立的前提下,去考虑“赔不赔”和“赔多少”的问题。在新闻侵权成立的情况下,若媒体承担的赔偿责任过重,会影响到媒体言论自由和舆论监督的积极性。若媒体承担的责任过轻,则难以起到对受害主体的抚慰、补偿作用,不利于人格权的保护。因此,厘清新闻侵权中的赔偿问题有助于更好实现人格权保护和新闻舆论监督的平衡。本文基于大量司法判决
本文使用历史上稻作农业经济带划分和水稻播种面积占比，衡量“南稻北麦”的作物种植格局，检验水稻种植方式对金融组织发展的影响。研究表明，稻作有利于促进民间金融发展，对正规金融发展的影响不显著。作用机制是稻农在农忙和修缮灌溉系统中的协作互济，有利于强化熟人社会关系，塑造利于民间金融的自我实施和第二方实施的交易规制和契约治理。本文验证了二元金融格局的文化起源，拓展了历史因素影响当代金融发展的研究。
宜都市市民活动中心项目会展中心屋盖采用大跨度预应力钢索结构。以该工程为例对预应力索详细对张拉及安装过程进行阐述并为解决大跨度拉索张拉所遇到的问题提供可靠的技术解决方案,并使用有限元计算软件对施工过程进行仿真计算,较详细的介绍了采用大跨度空间张弦桁架结构的力学计算。最后通过与实际施工中实际测量数据进行比较,以确保施工方案可行性,保证结构施工过程中及结构使用期安全。工程实践证明该方案对同类工程项目提供
乡村生态康养旅游是乡村生态旅游产业与健康产业融合的产物,发展乡村生态康养旅游是带动乡村振兴的有效途径之一,但目前我国乡村地区生态旅游产业与健康产业融合情况并不尽如人意。研究表明,我国乡村生态旅游产业与健康产业虽然实现了初步的融合,但产业融合度偏低,主要是由于政策的可操作性不强,资金投入不足;企业整合与创新能力不足,康养旅游精品缺乏;高素质人才培养不足,职业能力培训欠缺。探究问题的根源、关键、根本、