论文部分内容阅读
软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面：静态分析和程序验证,重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执行等方法,将常用的静态检测工具按方法归类,讨论、总结静态检测技术的优势、适用性和发展趋势。
静态软件漏洞检测技术的研究与探讨
【摘 要】
：
软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面：静态分析和程序验证,重点分析词法分析、规则检查、
【机 构】
：
武警北京指挥学院
【出 处】
：
2009中国计算机信息防护年会
【发表日期】
：
2009年期
其他文献
枣龟蜡蚧,俗名枣虱子,又名日本蜡蚧,在我国河北、河南、山东、山西、陕西等枣产区普遍发生。以成虫和若虫刺吸1～2年生枝条和叶片的汁液,使树势衰弱;另一方面,排泄物布满全树
本文介绍了地市级政府公共灾备中心的建设概况及需求，分析了传统备份软件为什么不适合这样的公共灾备中心建设，提出了浪擎科技的针对性解决方案，就政府异地备份建设需设计的功能
随着网络攻防形势的变化，当今任何一种网络应用都必须考虑安全问题，这是毋庸置疑的。但是在如何实现安全的网络应用时，不同的用户，不同的安全企业选择了不同的方式。在这些方式中
会议
提起信息安全问题，人们往往更多地关注网络边界和核心资源安全，即辖内所有计算机终端要在防火墙内部，同时安装统一的防病毒系统、入侵检测系统等。但是，随着技术的发展，各种攻击手
会议
信息安全关系到个人的利益、企业的利益、国家安全与主权的完整，是目前国家急需解决的重要问题。长城安全电脑拥有自主知识产权，从根本上解决了国家信息安全问题，打破国际厂商在
会议
1983年，他出生于山东临沂，因为一场突如其来的变故，他失去了双腿，却没有停止歌唱。他用歌声代替双腿，自由地行走在人生的旅途，中国600多个城市都曾留下他的足迹与歌声。 他叫陈州。 他说：“年轻的我怎么能因为变故放弃自己的人生？我是一个为歌而歌的歌者，唱歌是我的事业。我是一个用歌声走路的人，走在‘960万平方公里的舞台’上。” 1983年，他出生于北京，人称“混世魔娃”，虽然只有初中文凭，却
2009年,从头至尾都是Hot Issue的4MINUTE出现在了大家眼前,在众多新人中凭借着独特的魅力脱颖而出。在过去的一年里,成员们在个人活动中都取得了不错的成绩,全体都是九零后的
在可信计算技术中,可信网络接入技术的研究占有重要地位,它是构建可信计算环境的根本保障。本文介绍了可信网络接入技术的相关概念和技术现状,在此基础上,提出了一个基于TPM
当人类步入21世纪这一信息社会、网络社会的时候,计算机信息技术已经渗透到人们生活的方方面面,同时也带来了众多安全隐患。本文通过分析网络安全的现状,针对目前常见的网络