首页| 行业标准| 论文文档| 电子资料| 图纸模型
购买积分 购买会员 激活码充值

您现在的位置是:团子下载站 > 其他 > 结合静态分析与动态符号执行的软件漏洞检测方法

结合静态分析与动态符号执行的软件漏洞检测方法

  • 资源大小:0.86 MB
  • 上传时间:2021-08-15
  • 下载次数:0次
  • 浏览次数:26次
  • 资源积分:1积分
  • 标      签: 静态分析 检测 软件

资 源 简 介

动态符号执行是近年来新兴的一种软件漏洞检测方法,它可以为目标程序的不同执行路径自动生成测试用例,从而获得较高的测试代码覆盖率。然而,程序的执行路径很多,且大部分路径都是漏洞无关的,通常那些包含危险函数调用的路径更有可能通向漏洞。提出一种基于静态分析的有导动态符号执行方法,并实现了一个工具原型SAGDSE。该方法通过静态分析识别目标程序中调用危险函数的指令地址,在动态符号执行过程中遇到这些指令地址时收集危险路径约束,再通过约束求解生成走危险路径的测试用例,这些测试用例将更可能触发程序漏洞。实验结果表明了该方法的有效性。
VIP VIP