论文阅读笔记20230225

Dowser是一个综合了污点分析、程序分析和符号执行的模糊测试工具,设计用于发现深层的缓冲区溢出漏洞。它首先通过污点分析识别影响数组下标的输入,然后对这些数据进行符号化并执行,最后利用生成的输入进行模糊测试,以暴露潜在的安全问题。
摘要由CSDN通过智能技术生成

Dowsing for Overflows: A Guided Fuzzer to Find Buffer Boundary Violations (SEC 2013)

本文提出了Dowser,一个结合了污点分析(Taint Tracking)、程序分析(Program Analysis)和符号执行(Symbolic Execution)的导向(Guided)Fuzzer,其能够定位到程序逻辑深处的缓冲区溢出漏洞。

对于缓冲区溢出,我们需要考虑的只有那些访存指令,并进一步对他们的行为进行分析。具体地说,先使用污点分析判断哪些输入数据会影响到数组的下标;接下来对相应的数据符号化,并进行符号执行;最后将符号执行得到的输入结果作为Fuzzing输入来挖掘更深层次的漏洞。

Dowser系统总览如下图所示。
Dowser系统总览
论文代码未开源。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值