论文部分内容阅读
软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面:静态分析和程序验证,重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执行等方法,将常用的静态检测工具按方法归类,讨论、总结静态检测技术的优势、适用性和发展趋势。
软件安全漏洞的静态检测技术
【摘 要】
：
软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面:静态分析和程序验证,重点分析词法分析、规则检查
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京大学计算机科学与技术系
【出 处】
：
计算机工程
【发表日期】
：
2008年12期
【基金项目】
：
国家自然科学基金资助项目(60473053);国家“863”计划基金资助项目(2006AA01Z432);江苏省自然科学基金资助项目(BK2005074)
其他文献
近年来,我国沿海地区开展了大量的吹填造陆工程。吹填土具有众多不良的工程特性,在开展工程建设之前,必须进行相应的地基预处理。常用的排水固结法处理吹填土,处理时间长,处
收集了 2 0 0 2年 7月～ 2 0 0 3年 6月国外塑料工业的相关期刊资料 ,介绍了 2 0 0 2年～ 2 0 0 3年国外塑料工业的发展情况 ,提供了世界各大地区塑料的产量、增长率及所占份额 ,
如今,在以"核心素养"为导向的教育改革中,越来越多的教师意识到培养学生"英语口语交际素养"的重要性。但不少教师对究竟什么是"英语口语交际素养"感到困惑。本文先分别说明对
几种生产工艺和方法不同的5A分子筛(5A-0、5A-2、5A-4)对正癸烷和正十四烷表现出不同的吸附性能,且对含氮,含氧及烯烃等有机物质的影响表现出不同的抗毒性能.在脱蜡过程中失
在丙烯酸酯单体中加入一种特殊功能单体(HT),通过种子乳液聚合法制备了一种塑/塑复合用水性丙烯酸酯复膜胶(FM-45)。研究了丙烯酸酯复合功能单体配比对FM-45的剥离强度、乳化
目的探讨耳穴加足三里揿针对宫颈癌患者腹腔镜术后胃肠道功能恢复的影响.方法选取2016年10月~2018年6月在滨州市中心医院妇科收治的92例腹腔镜下手术的宫颈癌患者,根据随机数
量子信息技术是量子物理与信息科学交叉的新兴学科。它为信息科学的持续发展提供新的原理和方法。阐明了量子信息技术发展的背景及其奇特的信息功能 ,介绍国际发展的状况和趋
<正>升麻鳖甲汤(以下简称本方)由升麻、当归、甘草,鳖甲、维黄六味药组成,具有解毒祛风 活血散淤之功,仲景用治阴阳毒。笔者于临床中扩大了该方的应用范围,用治多例属于西医