Fuzz 入门:结构决定了一切

逆向工程 · 2 分钟阅读· 196 次阅读

没有覆盖反馈的随机测试,命中深层路径的概率低到可以忽略,除非解析逻辑只有两三层分支,这类目标本来也少

逆向的第一课不是工具,是「这个东西本来该长什么样」。

先说结论

结构读对了,一半的问题自己会消失。

  • 先看头部:格式与位数
  • 再看段表:布局与对齐
  • 入口点不等于 main
  • 重定位影响静态地址
  • 交叉验证:崩溃必须去重,同一个空指针解引用能产出几千条重复样本

先看骨架

进程内 fuzz 每秒能跑上万次,fork 模式通常只有一千次左右,这个差距决定单位时间产出,能进程内就别 fork。

结构对了,字段名可以慢慢猜;结构错了,猜对也是错的。

关键字段

种子语料的质量比变异策略更影响前期覆盖率,喂错种子等于白跑,语料要覆盖格式各分支,也要按格式分层。

字段 作用 常见误读
头部标识 判断格式与位数 把 32 位当 64 位读
段表/节表 决定内存布局 忽略对齐导致偏移全错
入口点 程序开始执行的位置 把入口当 main
重定位信息 加载时的地址修正 忽略后静态地址对不上

几个具体细节

下面这些是相对确定的细节:

  • 崩溃必须去重,同一个空指针解引用能产出几千条重复样本
  • sanitizer 能把静默的越界读写变成可见崩溃,是 fuzz 的放大器

Fuzz 入门

常见的读错方式

只跑一小时就下结论说没有漏洞,样本量远远不够。

用生产数据当种子,把敏感信息带进语料库。

怎么验证自己读对了

用一个已知的工具交叉验证:Fuzz 的产出不是崩溃数量,是覆盖率还能不能继续往上走。

还有几处容易忽略的

这些细节不影响入门,但影响你判断的准确度。

  • 跑满 24 小时再看覆盖率曲线,前两个小时的结论通常不准,排期按天算而不是按小时
  • 不做去重,报告里几千条崩溃全是同一个

逆向不是猜,是核对。

评论 (3)

阿
阿哲

审计检查点可以直接做成 checklist。

K
Kai

日志留存时间那条被我们领导采纳了。

路
路人甲

终于有人讲清楚「为什么」而不是只给命令。

发表评论

验证码

提交后需站长审核,通过后才会显示。