【摘 要】
：
随着计算机软件技术的快速发展,由软件代码缺陷引起的安全问题也日趋严重。通过对静态分析技术以及静态检测工具的深入研究,针对当前静态检测工具误报率、漏报率较高的问题,
【基金项目】
：
贵州省科学技术基金项目（黔科合J字[2012]2128号）
论文部分内容阅读
随着计算机软件技术的快速发展,由软件代码缺陷引起的安全问题也日趋严重。通过对静态分析技术以及静态检测工具的深入研究,针对当前静态检测工具误报率、漏报率较高的问题,提出一个多策略的软件代码缺陷检测方法。该方法平台一方面综合运用多种静态检测工具进行检测,对比单个检测工具降低误报率,扩大检测覆盖率;另一方面,对确定性不高的静态检测结果进一步进行动态检测,不但降低静态检测的误报率,而且还能发现静态检测技术检测不到的缺陷,降低漏报率。实验结果证明,多策略检测方法是一个有效的软件漏洞检测方法。
其他文献
我们必须从根本上反思60年前的那场战争观察记者:有一个问题一直困扰着我.按理说,一战惨痛的经历给世界各国人民带来了深重的灾难,那么,在短短20年间为何又爆发了一次世界大
电子商务中暴露的安全问题随着其引发的热潮变得越来越突出。为了能在交易过程中安全、完整、有效地传输数据，世界各国对其进行了多年的研究形成了一套完整的安全解决方案，即目
高校体育作为我国体育的重要组成部分，是推行全民健身，培养人们良好健身意识、良好的健身习惯和体育能力的重要场所。本文就西安市高校体育培训市场开发的可行性进行阐述，仪供参
本文阐述了国内光子晶体传感器的研究现状,分析了传感原理。研究了光子晶体光纤的传感原理以及三种光子晶体光纤传感器,叙述了在传感中需要考虑的两个问题,并提出了解决的办
诉讼推进环境保护的发展是环境法实施的重要环节。环境权制度不仅包含对实体环境权的规定,也包含当这种权利受到侵害时公民和社会组织可以提起诉讼的内容。实施环境行政公益
针对大学生就业形势严峻的问题,特别是高职院校服装类毕业生就业形势严峻的问题,通过问卷调查的方式,对毕业生择业心理状况进行了分析研究,并对如何提高毕业生职业选择心理素
2月28日,工、农、中、建浙江省分行采取统一行动,在其遍布省内城乡的上万个营业网点一起贴出有关收费公告:对每张借记卡收取10元的年费.公告称,从3月18日起,银行将对2005年起
随着煤炭企业的发展,瓦斯灾害已经成为矿井开采发展的主要障碍,本文分析了我国煤矿瓦斯治理的现状及发展,并根据实际提出了我局瓦斯治理的一些问题和措施。
随着老龄人口的不断增加,社会力量兴办养老机构本应可以对现在已经不堪重负的老龄问题有所缓解,但是到目前为止民营养老机构处境艰难,一些民营养老机构甚至已经夭折.民营养老
钢管混凝土叠合柱自90年代兴起以来,被越来越多地应用于各式多高层建筑中。现应用YJK与MIDAS计算软件,以安顺市某酒店南塔为研究对象,设计两种结构方案。分别建立计算模型并