搜索

[13938] 2019-04-02_AFLSmart工具简单分析及使用介绍

文档创建者：s7ckTeam
浏览次数：4
最后更新：2025-01-18
2019-04-02_AFLSmart工具简单分析及使用介绍 A F L S m a r t 工 具 简 单 分 析 及 使 用 介 绍 红 玫 瑰 与 黑 玫 瑰   F r e e B u f   2 0 1 9 - 0 4 - 0 2 A F L S m a r t   是 一 个 在 是 一 个 在   A F L   基 础 上 ， 结 合 了 基 础 上 ， 结 合 了   P e a c h   的 结 构 化 输 入 组 件 的 灰 盒 的 结 构 化 输 入 组 件 的 灰 盒   s m a r t   f u z z   工 具 。 工 具 。 A F L S m a r t   链 接 ： h t t p s : / / g i t h u b . c o m / a f l s m a r t / a f l s m a r t 参 考 资 料 ： 《 S m a r t   G r e y b o x   F u z z i n g 》 什 么 是 什 么 是   A F L S m a r t 灰 盒 灰 盒   s m a r t   f u z z 灰 盒 测 试 是 基 于 程 序 运 行 时 刻 的 外 部 表 现 同 时 又 结 合 程 序 内 部 逻 辑 结 构 来 设 计 用 例 ， 执 行 程 序 并 采 集 程 序 路 径 执 行 信 息 和 外 部 用 户 接 口 结 果 的 测 试 技 术 。 具 有 结 果 反 馈 功 能 的 模 糊 测 试 即 属 于 灰 盒   f u z z ， 如   A F L ， 会 对 待 测 程 序 进 行 插 装 ， 从 而 监 控 每 个 输 入 的 路 径 覆 盖 率 ， 为 下 一 次 选 择 输 入 文 件 进 行 变 异 提 供 依 据 。 s m a r t   f u z z   是 面 向 具 有 高 度 结 构 化 输 入 （ 如 ， P P T ， m p 3 ， P D F   等 ） 的 程 序 进 行 测 试 的 一 类 模 糊 测 试 工 具 ， 典 型 的 s m a r t   f u z z   工 具 如   P e a c h 。 使 用   P e a c h   的 关 键 在 于 名 为 「 P e a c h   P i t 」 的   x m l   配 置 文 件 。 「 P e a c h   P i t 」 主 要 包 含 了 文 件 的 数 据 信 息 。 A F L S m a r t A F L S m a r t   在   A F L   的 基 础 上 ， 参 照 了   P e a c h   的   F i l e   C r a c k e r   组 件 ， 将 文 件 按   c h u n k   划 分 ， 抽 象 为 一 个 可 以 用   x m l   文 件 描 述 的 树 形 的 结 构 ， 如 下 图 为 一 个   w a v   格 式 的 文 件 抽 象 为   x m l   文 件 的 表 示 ：
针 对 结 构 化 的 输 入 ， A F L   提 供 了 基 于 字 典 的 方 法 进 行 解 决 ， 然 而 该 方 法 的 缺 陷 在 于 ， 在 变 异 的 时 候 ， 仍 然 处 于   b i t   级 别 的 变 异 ， A F L   无 法 对 一 个 文 件 块 进 行 增 加 和 删 除 操 作 。       A F L S m a r t   源 码 中 ， 对   c h u n k   结 构 的 定 义 如 下 ： 一 个   c h u n k   结 构 里 定 义 了   c h u n k   的 类 型 、 开 始 位 置 、 结 束 位 置 、 表 示 是 否 被 修 改 的 标 志 位 、 以 及   c h u n k   的 子 节 点 和 n e x t   节 点 。 在   A F L   的   b i t   级 别 的 变 异 的 基 础 上 ， A F L S m a r t   增 加 了 对   c h u n k   级 别 的 变 异 操 作 ， 主 要 包 括 三 种 操 作 ： s m a r t   d e l e t i o n ： ： 在 这 种 方 法 中 ， 会 对 给 定 的 种 子 文 件 ， 随 机 选 取   c h u n k   进 行 删 除 。 s t r u c t   c h u n k   {     u n s i g n e d   l o n g             i d ;   / *   T h e   i d   o f   t h e   c h u n k ,   w h i c h   e i t h e r   e q u a l s   i t s   p o i n t e r   v a l u e   o r ,   w h e n                           l o a d e d   f r o m   c h u n k s   f i l e ,   e q u a l s   t o   t h e   h a s h c o d e   o f   i t s   c h u n k                           i d e n t i f e r   s t r i n g   c a s t e d   t o   u n s i g n e d   l o n g .   * /     i n t   t y p e ;                                 / *   T h e   h a s h c o d e   o f   t h e   c h u n k   t y p e .   * /     i n t   s t a r t _ b y t e ;                     / *   T h e   s t a r t   b y t e ,   n e g a t i v e   i f   u n k n o w n .   * /     i n t   e n d _ b y t e ;                         / *   T h e   l a s t   b y t e ,   n e g a t i v e   i f   u n k n o w n .   * /     c h a r   m o d i f i a b l e ;                   / *   T h e   m o d i f i a b l e   f l a g .   * /     s t r u c t   c h u n k   * n e x t ;             / *   T h e   n e x t   s i b l i n g   c h i l d .   * /     s t r u c t   c h u n k   * c h i l d r e n ;     / *   T h e   c h i l d r e n   c h u n k s   l i n k e d   l i s t .   * / } ;
s m a r t   a d d i t i o n ： ： 在 这 种 方 法 中 ， 给 定 一 个 种 子 文 件   S 1 ， 随 机 选 取 一 个 种 子 文 件   S 2 ， 在   S 2   中 随 机 选 取 一 个   c h u n k   C 2 ， 将   C 2   插 入 到 S 1   中 和   C 2   具 有 相 同 父 节 点 的   c h u n k   C 1   的 后 面 （ C 1 . p a r e n t . t y p e   = = C 2 . p a r e n t . t y p e ）       s m a r t   s p l i c i n g ： ： 这 种 方 法 中 ， 对 于 给 定 的 种 子 文 件   S 1 ， 随 机 选 取   c h u n k   C 1 ， 随 机 选 取 种 子 文 件   S 2 ， 找 到   S 2   中 与   C 1   类 型 相 同 的 c h u n k   C 2 ， 将   C 2   替 换 到   C 1   的 位 置 上 。       A F L S m a r t   的 安 装 的 安 装 1 .   安 装   a u t o m a k e   及 一 些 其 他 的 包 2 .   安 装   m o n o   包 ， 为 了 在   L i n u x   上 支 持   C # 3 .   安 装   g c c - 4 . 4   以 及   g + + - 4 . 4 ， （ P e a c h   中 的   P i n   组 件 在 更 高 的   g c c   版 本 中 会 发 生 一 些 编 译 问 题 ）       如 成 功 ， 则 直 接 看 第 四 步 ， 如 不 能 成 功 ， 可 尝 试 以 下 命 令 向 文 件 中 添 加 如 下 内 容 ：         s u d o   a p t - g e t   i n s t a l l   b u i l d - e s s e n t i a l   a u t o m a k e   l i b t o o l   l i b c 6 - d e v - i 3 8 6   p y t h o n - p i p   g + + - m u l t i l i b s u d o   a p t - g e t   i n s t a l l   m o n o - c o m p l e t e s u d o   a d d - a p t - r e p o s i t o r y   p p a : u b u n t u - t o o l c h a i n - r / t e s t         s u d o   a p t - g e t   u p d a t e         s u d o   a p t   i n s t a l l   g c c - 4 . 4         s u d o   a p t   i n s t a l l   g + + - 4 . 4 s u d o   g e d i t   / e t c / a p t / s o u r c e s . l i s t
然 后 安 装 4 .   环 境 成 功 准 备 好 后 ， 开 始   A F L S m a r t   的 安 装 5 .   修 改   P e a c h   的 版 本 6 .   设 置   P A T H   的 环 境 变 量 7 .   进 入 到   A F L S m a r t   目 录 ， 输 入 出 现 如 下 界 面 ， 说 明 安 装 成 功 。 A F L S m a r t   的 使 用 的 使 用 熟 悉   A F L   的 朋 友 ， 对 于   A F L S m a r t   的 使 用 应 该 不 会 太 陌 生 ， A F l S m a r t   的 使 用 方 法 与   A F L   基 本 一 致 。 这 里 还 是 以 t c p d u m p   为 例 ， 对   A F L S m a r t   的 使 用 进 行 一 个 简 单 的 介 绍 。 测 试   t c p d u m p   之 前 ， 首 先 应 该 下 载   t c p d u m p   源 码 包 ， 下 载 地 址 ： h t t p : / / w w w . t c p d u m p . o r g / ， 在 这 个 地 址 ， 下 载 t c p d u m p   包 与   l i b p c a p   包 。 下 载   t c p d u m p   的 一 些 其 他 依 赖 包 ： 下 载   b i s o n   包 ， 下 载 地 址 ： f t p . g n u . o r g / g n u / b i s o n ，       下 载   m 4   包 ， 下 载 地 址 ： f t p . g n u . o r g / g n u / m 4 / 。 d e b   h t t p : / / d k . a r c h i v e . u b u n t u . c o m / u b u n t u /   t r u s t y   m a i n   u n i v e r s e s u d o   a p t - g e t   u p d a t e         s u d o   a p t   i n s t a l l   g c c - 4 . 4         s u d o   a p t   i n s t a l l   g + + - 4 . 4 g i t   c l o n e   h t t p s : / / g i t h u b . c o m / a f l s m a r t / a f l s m a r t         c d   a f l s m a r t         m a k e   c l e a n   a l l         c d   . .         e x p o r t   A F L S M A R T = $ ( p w d ) / a f l s m a r t         e x p o r t   W O R K D I R = $ ( p w d ) c d   $ A F L S M A R T         w g e t   h t t p s : / / s o u r c e f o r g e . n e t / p r o j e c t s / p e a c h f u z z / f i l e s / P e a c h / 3 . 0 / p e a c h - 3 . 0 . 2 0 2 - s o u r c e . z i p         u n z i p   p e a c h - 3 . 0 . 2 0 2 - s o u r c e . z i p         p a t c h   - p 1   <   p e a c h - 3 . 0 . 2 0 2 . p a t c h         c d   p e a c h - 3 . 0 . 2 0 2 - s o u r c e         C C = g c c - 4 . 4   C X X = g + + - 4 . 4   . / w a f   c o n f i g u r e         C C = g c c - 4 . 4   C X X = g + + - 4 . 4   . / w a f   i n s t a l l e x p o r t   P A T H = $ P A T H : $ A F L S M A R T : $ A F L S M A R T / p e a c h - 3 . 0 . 2 0 2 - s o u r c e / o u t p u t / l i n u x _ x 8 6 _ 6 4 _ d e b u g / b i n         e x p o r t   A F L _ P A T H = $ A F L S M A R T         e x p o r t   L D _ L I B R A R Y _ P A T H = / u s r / l o c a l / l i b . / a f l - f u z z
1 .   安 装   l i b p c a p ： 2 .   输 入 命 令 ， 安 装   f l e x 3 . b i s o n   与   m 4   包 的 安 装 步 骤 与   l i b p c a p   的 相 同 ， 参 照 上 述 命 令 即 可 。 4 .   使 用   a f l - g c c   对   t c p d u m p   进 行 编 译 ， a f l - g c c   会 在 对   t c p d u m p   进 行 编 译 时 ， 对   t c p d u m p   进 行 插 桩 ， 从 而 方 便 监 控 用 例 的 路 径 覆 盖 情 况 。 命 令 如 下 ： 编 译 过 程 中 ， 出 现 如 下 界 面 ， 说 明 使 用   a f l - g c c   对   t c p d u m p   进 行 编 译 成 功 。 t c p d u m p   的 命 令 格 式 如 下 ： t c p d u m p   [   - a d e f l n N O p q R S t u v x X   ]   [   - c   数 量   ]   [   - C   文 档 尺 寸   ]   [   - F   文 档 名   ]   [   - i   网 络 接 口   ]   [   - m   文 档 名   ]   [   - r 文 档 名   ]   [   - s   长 度   ]   [   - T   类 型   ]   [   - w   文 档 名   ]   [   - E   a l g o : s e c r e t   ]   [   表 达 式   ]   t c p d u m p   常 用 命 令 行 选 项 ： - a   将 网 络 地 址 和 广 播 地 址 转 变 成 容 易 识 别 的 名 字   - d   将 已 截 获 的 数 据 包 的 代 码 以 人 容 易 理 解 的 格 式 输 出 ；   - d d   将 已 截 获 的 数 据 包 的 代 码 以   C   程 式 的 格 式 输 出 ；   - d d d   将 已 截 获 的 数 据 包 的 代 码 以 十 进 制 格 式 输 出 ；   - e   输 出 数 据 链 路 层 的 头 部 信 息 ；   - f   将   i n t e r n e t   地 址 以 数 字 形 式 输 出 ；   - l   将 标 准 输 出 变 为 行 缓 冲 方 式 ；   - n   不 将 网 络 地 址 转 换 成 易 识 别 的 主 机 名 ， 只 以 数 字 形 式 列 出 主 机 地 址   ( 如   I P   地 址 ) ， 这 样 能 够 避 免   D N S   查 询 ；   - t   不 输 出 时 间 戳 ；   - v   输 出 较 周 详 的 信 息 ， 例 如   I P   包 中 的   T T L   和 服 务 类 型 信 息 ；   - v v   输 出 详 尽 的 报 文 信 息 ；   t a r   - z x v f   l i b p c a p - 1 . 3 . 0 . t a r . g z           c d   l i b p c a p - 1 . 3 . 0         . / c o n f i g u r e         m a k e           m a k e   i n s t a l l s u d o   a p t - g e t   i n s t a l l   f l e x t a r   - z x v f   t c p d u m p - 4 . 3 . 0 . t a r . g z           c d   t c p d u m p - 4 . 3 . 0         C C = . / a f l s m a r t   安 装 目 录 / a f l - g c c   . / c o n f i g u r e         m a k e   c l e a n   a l l         m a k e   i n s t a l l
- c   在 捕 获 指 定 个 数 的 数 据 包 后 退 出 ；   - F   从 指 定 的 文 档 中 读 取 过 滤 规 则 ， 忽 略 命 令 行 中 指 定 的 其 他 过 滤 规 则 ；   - i   指 定 监 听 的 网 络 接 口 ；   - r   从 指 定 的 文 档 中 读 取 数 据 包   ( 该 文 档 一 般 通 过 - w   选 项 产 生 ) ；   - w   将 截 获 的 数 据 包 直 接 写 入 指 定 的 文 档 中 ， 不 对 其 进 行 分 析 和 输 出 ；   - T   将 截 获 的 数 据 包 直 接 解 释 为 指 定 类 型 的 报 文 ， 现 在 支 持 的 类 型 有   c n f p 、 r p c 、 r t p 、 s n m p 、 v a t   和   w b 。 接 下 来 ， 我 们 将 使 用   A F L s m a r t   对   t c p d u m p   的   - n r   功 能 进 行 测 试 ， 该 参 数 的 作 用 是 从 指 定 的 文 档 中 读 取 数 据 包 。 6 .   收 集 测 试 用 例 。 我 们 需 要   p c a p   格 式 的 输 入 ， 对   t c p d u m p   的 - n r   功 能 进 行 测 试 。 在   t c p d u m p   源 码 包 中 有 一 个   t e s t s   文 件 夹 ， 包 含 了 许 多 我 们 测 试 所 需 的   p c a p   文 件 。 这 里 ， 我 们 直 接 使 用 这 些   p c a p   文 件 进 行 测 试 。 新 建 一 个   t c p d u m p t e s t   文 件 夹 ， 方 便 测 试 。 将   t e s t e s   文 件 夹 复 制 过 来 ， 只 保 留   p c a p   的 数 据 。 A F L   中 还 有 一 些 对 数 据 进 行 处 理 的 工 具 ， 可 以 对 输 入 数 据 进 行 覆 盖 率 分 析 等 ， 压 缩 输 入 文 件 的 大 小 ， 从 而 提 高 测 试 的 效 率 。 如   a f l - t m i n 、 a f l - c m i n 。 网 上 已 有 许 多 介 绍   A F L   的 文 章 了 ， 这 里 对 这 些 工 具 就 不 重 复 介 绍 了 。 你 可 以 使 用 这 些 工 具 对   p c a p   包 进 行 一 个 处 理 ， 也 可 以 不 处 理 ， 直 接 使 用 它 们 进 行 测 试 。 7 .   测 试   t c p d u m p 输 入 命 令 ： 可 能 会 出 现 如 下 界 面 ： 按 照 图 片 提 示 ， 进 入   r o o t   用 户 模 式 ， 输 入 命 令 即 可 。 最 终 运 行 界 面 如 下 图 所 示 ： c d   t c p d u m p t e s t m k d i r   i n c d   t e s t s c p   * . p c a p   . . / i n c d   . . r m   - f   t e s t s c d   a f l s m a r t   . / a f l - f u z z   - i   . . / t e s t a f l s m a r t / t c p d u m p / i n /   - o   . . / t e s t a f l s m a r t / t c p d u m p / o u t /   t c p d u m p   - n r   @ @
A F L S m a r t   的 测 试 的 测 试 在   s m a r t   g r e y b o x   f u z z   文 中 提 到 ， 他 们 使 用   A F L S m a r t   与   A F L 、 P e a c h 、 A F L f a s t   对 几 种 具 有 结 构 化 输 入 的 程 序 进 行 测 试 ， 结 果 如 下 如 所 示 ： 由 上 图 可 以 看 出 ， A F L S m a r t   在 测 试   A V I 、 W A V 、 J P E G 2 0 0 0   这 三 种 格 式 时 ， 与 其 他 三 种 工 具 相 比 ， 优 势 明 显 。 * 本 文 作 者 ： 红 玫 瑰 与 黑 玫 瑰 ， 转 载 请 注 明 来 自 本 文 作 者 ： 红 玫 瑰 与 黑 玫 瑰 ， 转 载 请 注 明 来 自 F r e e B u f . C O M
阅 读 原 文
回复

举报

高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

使用Markdown编辑器编辑 使用富文本编辑器编辑

Archiver| 手机版| 小黑屋|
Powered by Discuz! X3.4 Copyright © 2001-2020, Tencent Cloud. 商业源码建议获取授权，如侵犯您的权益，请联系客服处理