资料下载
×
结合静态分析与动态符号执行的软件漏洞检测方法
消耗积分:0 |
格式:rar |
大小:0.86 MB |
2017-11-23
分享资料个
动态符号执行是近年来新兴的一种软件漏洞检测方法，它可以为目标程序的不同执行路径自动生成测试用例，从而获得较高的测试代码覆盖率。然而，程序的执行路径很多，且大部分路径都是漏洞无关的，通常那些包含危险函数调用的路径更有可能通向漏洞。提出一种基于静态分析的有导动态符号执行方法，并实现了一个工具原型SAGDSE。该方法通过静态分析识别目标程序中调用危险函数的指令地址，在动态符号执行过程中遇到这些指令地址时收集危险路径约束，再通过约束求解生成走危险路径的测试用例，这些测试用例将更可能触发程序漏洞。实验结果表明了该方法的有效性。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
