×

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

消耗积分:3 | 格式:rar | 大小:155 | 2009-04-20

分享资料个

软件安全漏洞问题日益严重，静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面：静态分析和程序验证，重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执行等方法，将常用的静态检测工具按方法归类，讨论、总结静态检测技术的优势、适用性和发展趋势。
关键词：软件安全漏洞；静态分析；程序验证
下载并关注上传者 低至0.43元/天 开通VIP 免费下载

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !