软件安全漏洞的静态检测技术

资料大小: 155

所需积分: 0

下载次数:

用户评论: 0条评论,查看

上传日期: 2009-04-20

上 传 者: 发烧友他上传的所有资料

资料介绍

标签:漏洞(6)静态(13)
软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面:静态分析和程序验证,重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执行等方法,将常用的静态检测工具按方法归类,讨论、总结静态检测技术的优势、适用性和发展趋势。
关键词:软件安全漏洞;静态分析;程序验证

用户评论

查看全部 条评论

发表评论请先 , 还没有账号?免费注册

发表评论

用户评论
技术交流、我要发言! 发表评论可获取积分! 请遵守相关规定。
上传电子资料