搜索

[14878] 2019-11-29_使用Peach进行模糊测试从入门到放弃

文档创建者：s7ckTeam
浏览次数：1
最后更新：2025-01-18
2019-11-29_使用Peach进行模糊测试从入门到放弃 使 用 P e a c h 进 行 模 糊 测 试 从 入 门 到 放 弃 重 剑 无 锋   F r e e B u f   2 0 1 9 - 1 1 - 2 9 概 述 概 述 本 文 对 模 糊 测 试 技 术 进 行 了 综 述 分 析 ， 介 绍 了 开 源 模 糊 测 试 框 架 本 文 对 模 糊 测 试 技 术 进 行 了 综 述 分 析 ， 介 绍 了 开 源 模 糊 测 试 框 架 P e a c h 的 结 构 、 原 理 及 的 结 构 、 原 理 及 p i t 文 件 编 写 方 法 ， 旨 在 帮 助 对 模 糊 测 试 感 兴 趣 的 小 伙 伴 能 快 速 入 门 文 件 编 写 方 法 ， 旨 在 帮 助 对 模 糊 测 试 感 兴 趣 的 小 伙 伴 能 快 速 入 门 p e a c h ， 最 后 以 常 见 的 ， 最 后 以 常 见 的 h t t p 协 议 协 议 和 工 控 和 工 控 M o d b u s 协 议 为 例 进 行 了 实 验 。 文 末 搜 集 了 本 文 所 用 到 的 工 具 和 相 关 资 料 供 大 家 下 载 。 协 议 为 例 进 行 了 实 验 。 文 末 搜 集 了 本 文 所 用 到 的 工 具 和 相 关 资 料 供 大 家 下 载 。 模 糊 测 试 模 糊 测 试 概 念 概 念 模 糊 测 试   （ f u z z   t e s t i n g ,   f u z z i n g ） 技 术 是 安 全 测 试 技 术 的 一 种 ， 通 过 构 造 畸 形 输 入 数 据 使 得 软 件 发 生 异 常 如 崩 溃 等 情 况 ， 从 而 发 现 软 件 中 存 在 的 安 全 问 题 。 由 于 模 糊 测 试 技 术 具 有 可 以 充 分 遍 历 所 有 输 入 数 据 、 代 码 覆 盖 全 面 、 测 试 自 动 化 、 能 够 有 效 地 发 现 软 件 中 存 在 的 安 全 问 题 等 特 点 ， 受 到 信 息 安 全 中 漏 洞 分 析 领 域 的 研 究 人 员 的 广 泛 欢 迎 。 目 前 ， F u z z i n g 技 术 已 经 是 软 件 测 试 、 漏 洞 挖 掘 领 域 的 最 有 效 的 手 段 之 一 。 F u z z i n g 技 术 特 别 适 合 用 于 发 现 0 D a y 漏 洞 ， 也 是 众 多 黑 客 或 黑 帽 子 发 现 软 件 漏 洞 的 首 选 技 术 。 F u z z i n g 虽 然 不 能 直 接 达 到 入 侵 的 效 果 ， 但 是 F u z z i n g 非 常 容 易 找 到 软 件 或 系 统 的 漏 洞 ， 以 此 为 突 破 口 深 入 分 析 ， 就 更 容 易 找 到 入 侵 路 径 ， 这 就 是 黑 客 喜 欢 F u z z i n g 技 术 的 原 因 。 原 理 原 理 1 、 F u z z i n g 技 术 首 先 是 一 种 自 动 化 技 术 ， 即 软 件 自 动 执 行 相 对 随 机 的 测 试 用 例 。 因 为 是 依 靠 计 算 机 软 件 自 动 执 行 ， 所 以 测 试 效 率 相 对 人 来 讲 远 远 高 出 几 个 数 量 级 。 比 如 ， 一 个 优 秀 的 测 试 人 员 ， 一 天 能 执 行 的 测 试 用 例 数 量 最 多 也 就 是 几 十 个 ， 很 难 达 到 1 0 0 个 。 而 F u z z i n g 工 具 可 能 几 分 钟 就 可 以 轻 松 执 行 上 百 个 测 试 用 例 。 2 、 F u z z i n g 技 术 本 质 是 依 赖 随 机 函 数 生 成 随 机 测 试 用 例 ， 随 机 性 意 味 着 不 重 复 、 不 可 预 测 ， 可 能 有 意 想 不 到 的 输 入 和 结 果 。 3 、 根 据 概 率 论 里 面 的 “ 大 数 定 律 ” ， 只 要 我 们 重 复 的 次 数 够 多 、 随 机 性 够 强 ， 那 些 概 率 极 低 的 偶 然 事 件 就 必 然 会 出 现 。 F u z z i n g 技 术 就 是 大 数 定 律 的 典 范 应 用 ， 足 够 多 的 测 试 用 例 和 随 机 性 ， 就 可 以 让 那 些 隐 藏 的 很 深 很 难 出 现 的 B u g 成 为 必 然 现 象 。 实 现 方 法 实 现 方 法 F u z z i n g 引 擎 算 法 中 ， 测 试 用 例 的 生 成 方 式 主 要 有 2 种 ： 1 ） 基 于 变 异 ： 根 据 已 知 数 据 样 本 通 过 变 异 的 方 法 生 成 新 的 测 试 用 例 ； 2 ） 基 于 生 成 ： 根 据 已 知 的 协 议 或 接 口 规 范 进 行 建 模 ， 生 成 测 试 用 例 ； 一 般 F u z z i n g 工 具 中 ， 都 会 综 合 使 用 这 两 种 生 成 方 。 基 于 变 异 的 算 法 核 心 要 求 是 学 习 已 有 的 数 据 模 型 ， 基 于 已 有 数 据 及 对 数 据 的 分 析 ， 再 生 成 随 机 数 据 做 为 测 试 用 例 。 实 现 流 程 实 现 流 程 一 个 基 于 网 络 协 议 的   F u z z   测 试 的 实 现 过 程 如 下 : 1   获 得 待 测 协 议 的 正 常 数 据 包 2   用 变 异 数 据 替 换 该 数 据 包 中 的 某 些 部 分 3   用 发 包 器 向 目 标 应 用 发 包 4   观 察 目 标 应 用 的 反 应 通 常 情 况 下 ， 通 过 抓 包 器 捕 获 客 户 端 与 被 测 设 备 正 常 交 互 的 数 据 包 作 为 测 试 的 正 常 数 据 包 样 本 。 通 过 任 意 方 式 改 变 随 机 数 据 。 例 如 ， 可 以 打 乱 整 个 数 据 包 ， 也 可 以 把 数 据 包 中 的 某   个 部 分 替 换 。 不 管 采 用 什 么 方 法 变 异 数 据 ， 关 键 是 在 数 据 包 中 放 入 大 量 随 机 数 据 ， 然 后 将 该 数 据 包 发 送 到 目 标 应 用 并 观 察 目 标 应 用 的 行 为 能 力 。 常 用 常 用 f u z z 框 架 框 架 在 研 究 网 络 协 议 模 糊 测 试 时 ， s u l l e y 和 p e a c h 两 大 框 架 是 最 常 见 的 F u z z 框 架 ， p e a c h 相 对 于 s u l l e y 有 以 下 几 点 优 势 ： 1 、 功 能 方 面 ： s u l l e y 和 p e a c h 完 成 的 功 能 点 都 是 一 样 ， p e a c h 可 对 多 种 协 议 、 文 件 进 行 模 糊 测 试 ， 而 s u l l e y 只 能 对 网 络 协 议 进 行 测 试 。 2 、 开 发 角 度 ： p e a c h 专 注 于 x m l 文 件 的 编 写 ， 比 较 容 易 理 解 ， 但 其 余 部 分 几 乎 很 少 能 改 写 ； s u l l e y 用 p y t h o n 代 码 来 写 测 试 ， 可 以 开 发 一 些 插 件 、 监 视 器 等 , 适 用 于 深 度 开 发 。 3 、 维 护 方 面 ： s u l l e y 目 前 已 停 止 维 护 ， p e a c h 相 关 资 料 和 研 究 人 员 相 对 较 多 。 4 、 安 装 部 署 ： s u l l e y 配 置 环 境 相 对 繁 琐 ， 而 p e a c h 配 置 环 境 相 对 简 单 。 p e a c h 介 绍 介 绍 关 于 关 于 p e a c h P e a c h 由 D e j a   v u   S e c u r i t y 公 司 的 M i c h a e l   E d d i n g t o n 创 造 并 开 发 ， 是 一 个 遵 守 M I T 开 源 许 可 证 的 模 糊 测 试 框 架 ， 是 第 一 款 综 合 的 开 源 f u z z i n g 工 具 ， 包 含 进 程 监 视 和 创 建 f u z z e r ， 其 中 创 建 f u z z e r 由 X M L 语 言 实 现 。 P e a c h 主 要 开 发 工 作 已 经 有 7 年 了 ， 主 要 有 3 个 版 本 。 最 初 采 用 P y t h o n 语 言 编 写 ， 发 布 于 2 0 0 4 年 ， 第 二 版 于 2 0 0 7 年 发 布 ， P e a c h   3 发 布 于 2 0 1 3 年 初 ， 第 三 版 使 用 C # 重 写 了 整 个 框 架 。 P e a c h 支 持 对 文 件 格 式 、 A c t i v e X 、 网 络 协 议 、 A P I 等 进 行 F u z z 测 试 ； P e a c h   F u z z 的 关 键 是 编 写 P e a c h   P i t 配 置 文 件 。 安 装 部 署 安 装 部 署 W i n d o w s 下 使 用 P e a c h 3 需 要 预 先 安 装 M i c r o s o f t . N E T 4 和 w i n d b g ； L i n u x 、 O S   X 下 需 要 安 装 M o n o 包 。 P e a c h 不 是 开 源 软 件 ， 而 是 遵 循 M I T 许 可 证 的 免 费 软 件 。 和 B S D 许 可 证 一 样 ， M I T 许 可 证 在 P e a c h 的 使 用 和 修 改 上 没 有 限 制 。 我 使 用 的 w i n d o w s 绿 色 版 ， 在 中 p e a c h 文 件 夹 中 包 含 了 收 集 到 的 4 个 版 本 的 p e a c h 最 新 版 软 件 包 ， 分 别 为 w i n d o w s 版 （ x 8 6 ） 、 w i n d o w s 版 （ x 6 4 ） 、 o x s 版 、 l i n u x 版 、 p y t h o n 版 ， 大 家 可 以 下 载 使 用 。 体 系 结 构 体 系 结 构 [ h t t p s : / / g i t h u b . c o m / T i d e S e c / P e a c h _ F u z z i n g / ] ( h t t p s : / / g i t h u b . c o m / T i d e S e c / P e a c h _ F u z z i n g / )
P e a c h 模 糊 测 试 工 具 是 一 个 开 源 的 模 糊 测 试 框 架 ， 包 括 数 据 模 型 ( 数 据 类 型 、 变 异 器 接 口 等 ) 、 状 态 模 型 ( 数 据 模 型 接 口 、 状 态 、 动 作 — 输 入 输 出 等 ) 、 代 理 器 ( 包 括 本 地 调 试 器 如 W i n d o w s D e b u g g e r 和 网 络 监 视 器 如 P c a p M o n i t o r 等 ) 、 测 试 引 擎 ( 代 理 器 接 口 、 状 态 模 型 接 口 、 发 布 器 、 日 志 记 录 器 等 ) P e a c h 有 以 下 几 个 高 级 概 念 ： 1 )   数 据 模 型 ： 用 来 表 示 输 入 和 输 出 所 需 要 的 数 据 结 构 。 可 以 根 据 需 要 构 造 数 据 模 型 。 数 据 模 型 中 ， 用 户 可 以 设 置 数 据 变 量 ， 可 以 为 该 数 据 变 量 指 定 数 据 类 型 如 字 符 串 类 型 、 整 数 类 型 等 ， 还 可 以 设 置 数 据 变 量 的 数 值 ， 并 根 据 变 异 器 的 接 口 指 定 该 变 量 是 否 执 行 变 异 操 作 。 数 据 模 型 中 还 可 以 设 置 数 据 块 ， 一 个 数 据 块 可 以 包 括 多 个 数 据 变 量 。 数 据 变 量 之 间 还 可 以 设 置 关 系 ， 例 如 s i z e   o f 类 型 的 关 系 等 。 2 )   变 异 器 ： 包 括 变 异 策 略 ， 不 同 数 据 类 型 的 变 异 策 略 不 同 。 3 )   生 成 器 ： P e a c h 生 成 器 能 够 生 成 字 符 串 数 据 、 整 型 数 值 数 据 等 简 单 类 型 的 数 据 ， 还 可 以 生 成 复 杂 的 分 层 的 二 进 制 数 据 ， 还 可 以 将 简 单 的 数 据 生 成 器 串 接 起 来 生 成 更 加 复 杂 的 数 据 类 型 的 数 据 。 4 )   状 态 模 型 ： 在 每 一 个 测 试 用 例 中 ， 根 据 状 态 模 型 ， P e a c h 根 据 用 户 配 置 初 始 化 状 态 机 ， 并 维 护 该 有 限 状 态 机 ， 每 个 状 态 包 括 一 个 或 者 多 个 操 作 。 每 个 状 态 中 ， P e a c h 状 态 机 会 顺 序 地 执 行 每 个 操 作 。 用 户 可 以 为 操 作 设 置 相 应 的 执 行 条 件 。 当 一 个 状 态 中 所 有 操 作 执 行 结 束 后 还 是 维 持 当 前 状 态 ， 则 该 状 态 机 执 行 结 束 。 5 )   代 理 器 ： 在 P e a c h 模 糊 测 试 过 程 中 ， P e a c h 测 试 引 擎 与 P e a c h 代 理 器 进 行 通 信 ， 从 而 对 被 测 目 标 进 行 状 态 监 视 并 对 其 进 行 执 行 控 制 。 用 户 必 须 为 P e a c h 代 理 器 设 置 一 个 P e a c h 监 视 器 ， 从 而 对 被 测 程 序 进 行 状 态 监 视 ， 并 进 行 执 行 控 制 如 启 动 被 测 程 序 或 者 停 止 被 测 目 标 程 序 。 每 次 测 试 迭 代 或 者 测 试 子 用 例 执 行 完 毕 ， P e a c h 代 理 器 将 把 P e a c h 监 视 器 监 视 的 被 测 目 标 程 序 的 异 常 状 态 信 息 ( 如 崩 溃 ) 返 回 给 P e a c h 测 试 引 擎 ， 如 果 被 测 目 标 程 序 正 常 执 行 结 束 ， 那 么 将 返 回 正 常 结 束 标 志 信 息 给 P e a c h 测 试 引 擎 。 6 )   测 试 引 擎 ： 采 用 P e a c h 解 析 器 解 析 用 户 输 入 的 配 置 文 件 ( 一 般 为 p i t 格 式 的 文 件 ) ， 根 据 配 置 文 件 创 建 相 应 的 组 件 并 进 行 初 始 化 如 对 状 态 模 型 的 状 态 机 进 行 初 始 化 ， 然 后 P e a c h 测 试 引 擎 进 入 执 行 测 试 用 例 的 主 循 环 。 测 试 引 擎 中 的 发 布 器 可 以 对 任 意 的 生 成 器 提 供 透 明 的 接 口 ， 常 见 的 发 布 器 有 文 件 发 布 器 或 者 T C P 网 络 发 布 器 等 ， 发 布 器 是 针 对 所 生 成 的 数 据 的 一 种 传 输 形 式 。 用 户 ( 二 次 开 发 人 员 或 使 用 人 员 ) 可 以 将 自 己 的 生 成 器 连 接 到 不 同 的 输 出 中 。 日 志 记 录 器 可 以 设 置 日 志 的 路 径 和 文 件 名 ， 并 将 测 试 执 行 过 程 中 的 状 态 信 息 记 录 到 日 志 文 件 中 。 使 用 流 程 使 用 流 程 P e a c h   的 测 试 对 象 几 乎 包 括 了 所 有 常 见 的 F u z z 对 象 ， 例 如 文 件 结 构 ， c o m ， 网 络 协 议 、 A P I   等 。 使 用 P e a c h 进 行 f u z z i n g 的 主 要 步 骤 如 下 ： 1 、 创 建 模 型 2 、 选 择 / 配 置 P u b l i s h e r 3 、 配 置 代 理 / 监 视 器 4 、 配 置 记 录 命 令 参 数 命 令 参 数
P i t 文 件 文 件 文 件 格 式 文 件 格 式 P e a c h 把 用 于 数 据 定 义 的 文 件 叫 做 P e a c h   p i t   f i l e 。 使 用 P e a c h 时 ， 实 际 上 主 要 工 作 就 是 定 义 这 样 一 个 x m l 文 件 指 示 P e a c h 测 试 平 台 去 做 测 试 。 P e a c h   p i t   f i l e 基 本 上 总 是 包 含 以 下 几 个 部 分 ： 1 ) 整 个 文 件 被 一 个 大 标 签 包 括 。 2 ) 文 件 中 的 第 二 级 标 签 包 括   I n c l u d e ， D a t a M o d e l ， S t a t e M o d e l ， A g e n t ， T e s t ， R u n   共   6 种 。 3 ) I n c l u d e   包 含 的 外 部 文 件 ， 其 中   d e f a u l t s . x m l   和   P e a c h T y p e s . x m l   是 必 须 的 ， 里 边 含 有 P e a c h 的 基 本 方 法 、 类 、 数 据 类 型 等 。 4 ) D a t a M o d e l   用 于 定 义 数 据 结 构 ， 此 标 签 下 还 可 以 有 若 干 级 、 若 干 种 下 级 标 签 。 使 用 这 些 子 标 签 可 以 比 较 容 易 的 定 义 数 据 的 类 型 ， 大 小 ， 各 个 数 据 块 之 间 的 关 系 ， 以 及   C R C   校   验 和 等 。 还 可 以 定 义 多 个   D a t a M o d e l ， 多 个   D a t a M o d e l 之 间 可 以 有 关 系 也 可 以 没 有 关 系 。 5 ) S t a t e M o d e l   用 于 定 义 测 试 的 逻 辑 ， 实 际 上 相 当 于 一 个 状 态 机 。 下 级 标 签 包 括   S t a t e ，   每 个   S t a t e   中 又 可 以 包 含 若 干 个   A c t i o n   标 签 。 S t a t e   表 示 一 个 状 态 ， 不 同 的   S t a t e   之 间 可 以 根   据 一 些 判 断 条 件 进 行 跳 转 。 A c t i o n   用 于 执 行 打 开 文 件 ， 发 送 数 据 包 之 类 的 命 令 。 6 ) A g e n t   是 一 个 主 要 功 能 是 用 来 监 测 被 测 目 标 的 反 应 ， 如   c r a s h   等 。 7 ) T e s t   这 个 标 签 域 比 较 简 单 ， 一 般 只 是 制 定 使 用 哪 个   A g e n t ， 哪 个   S t a t e M o d e l ， 用 什 么   方 法 发 数 据 ， 有 时 还 会 指 定 使 用 什 么 方 法 加 工 ( 变 异 ) 数 据 。 8 ) R u n   这 个 标 签 域 也 比 较 简 单 ， 指 定 当 前 这 次   F u z z   测 试 使 用 哪 个   T e s t 。 I n c l u d e 配 置 配 置 I n c l u d e 元 素 允 许 把 其 他 p i t 文 件 包 含 到 当 前 p i t 文 件 的 名 称 空 间 中 使 用 。 当 引 用 被 包 含 的 P i t 文 件 时 ， 用 名 称 空 间 前 缀 和 冒 号 的 格 式 来 命 名 。 格 式 为 ： n a m e ： D a t a M o d e l ， 如 下 所 示 ： 属 性 ： N s — - 必 须 的 。 名 称 空 间 前 缀 。 S r c — - 必 须 的 。 源 码 U R L ， 用 “ f i l e ： ” 前 缀 来 命 名 文 件 名 。 D a t a M o d e l 配 置 配 置 P e a c h   P i t 文 件 包 含 至 少 一 个 D a t a M o d e l 元 素 ， D a t a M o d e l 描 述 的 数 据 包 括 类 型 信 息 、 关 系 信 息 （ 大 小 、 数 目 、 偏 移 ） 和 其 他 让 模 糊 器 执 行 智 能 变 异 的 信 息 。 D a t a M o d e l 是 P e a c h 根 元 素 的 子 元 素 之 一 ， 它 通 过 添 加 子 元 素 （ 比 如 N u m b e r 、 B l o b 或 者 S t r i n g ） 的 方 式 定 义 了 数 据 块 的 结 构 。 属 性 N a m e — - 必 须 的 。 当 引 用 模 型 或 者 调 试 时 ， 友 好 的 D a t a M o d e l 名 字 是 非 常 有 用 的 。 R e f — - 可 选 的 。 引 用 一 个 D a t a M o d e l 模 板 。 M u t a b l e — - 可 选 的 ， 默 认 为 真 。 该 元 素 是 否 可 变 异 。 C o n s t r a i n t — - 可 选 的 。 确 定 一 个 表 达 式 ， 它 帮 助 P e a c h 确 定 数 据 元 素 是 否 已 被 适 当 的 消 耗 。 子 元 素 - 1 ： 执 行 第 1 次 测 试 。 - a ： 启 动 P e a c h 代 理 。 不 指 定 ” c h a n n e l ” 默 认 为 本 地 代 理 （ 默 认 支 持 ， 无 需 显 式 启 动 ） ； “ c h a n n e l ” 可 以 指 定 为 ” t c p ” 远 程 代 理 。 - c ： 统 计 测 试 用 例 数 。 - t ： 验 证 P e a c h   P i t   x m l 文 件 正 确 性 。 - p ： 并 行 F u z z 。 运 行 P e a c h 的 机 器 总 数 为 M ， 这 是 第 N 个 。 – d e b u g ： 调 试 信 息 开 关 。 – s k i p t o ： 指 定 F u z z 跳 过 的 测 试 用 例 数 。 – r a n g e ： 指 定 F u z z 的 测 试 用 例 范 围 < ? x m l . . . 版 本 ， 编 码 之 类 . . . > < P e a c h   . . . 版 本 ， 作 者 介 绍 之 类 . . . > < I n c l u d e   . . . 包 含 的 外 部 文 件 / > < D a t a M o d e l   > 原 始 数 据 结 构 定 义 < / D a t a M o d e l > < S t a t e M o d e l   > 测 试 逻 辑 ， 状 态 转 换 定 义 ， 如 收 到 什 么 样 的 数 据 包 之 后 ， 发 出 什 么 样 对 应 的 数 据 包 < / S t a t e M o d e l > < A g e n t   > 检 测   e x c e p t i o n ， c r a s h   等   < / A g e n t > < T e s t   > 指 定 将 要 使 用 到 的   s t a t e ， a g e n t ， p u b l i s h e r   等 < / T e s t > < R u n   > F u z z e r   执 行 的 进 入 点 < / R u n > < / P e a c h >
B l o c k 、 C h o i c e 、 C u s t o m 、 F l a g 、 F l a g s 、 N u m b e r 、 P a d d i n g 、 S t r i n g 、 X m l A t t r i b u t e 、 X m l E l e m e n t 、 R e l a t i o n 、 F i x u p 、 T r a n s f o r m e r 、 P l a c e m e n t 一 个 名 字 为 “ H e l l o T i d e ” 的 D a t a M o d e l 包 含 一 个 字 符 串 和 输 出 “ H e l l o   T i d e ！ ” 如 下 所 示 ： 一 个 D a t a M o d e l 可 以 引 用 其 他 D a t a M o d e l ， 可 以 继 承 带 有 r e f 属 性 的 子 元 素 。 如 下 所 示 ： S t a t e M o d e l 配 置 配 置 S t a t e M o d e l 重 新 创 建 测 试 一 个 协 议 所 必 须 的 基 本 状 态 机 器 逻 辑 。 它 定 义 了 怎 么 给 目 标 发 送 和 接 收 数 据 。 S t a t e M o d e l 的 范 围 从 非 常 简 单 到 及 其 复 杂 。 建 议 在 开 始 时 ， 保 持 状 态 模 型 简 单 ， 需 要 时 再 进 行 扩 展 。 S t a t e M o d e l 包 含 一 个 子 元 素 s t a t e ， s t a t e 封 装 了 一 个 为 P e a c h 工 作 的 逻 辑 单 元 ， 进 而 来 执 行 一 个 大 的 状 态 模 型 。 s t a t e 由 a c t i o n 组 成 ， 每 个 a c t i o n 可 以 执 行 与 单 个 状 态 如 何 封 装 逻 辑 相 关 的 任 务 。 A c t i o n 元 素 能 在 S t a t e M o d e l 中 执 行 多 种 操 作 。 A c t i o n 是 发 送 命 令 给 P u b l i s h e r 的 一 种 主 要 方 式 ， 它 能 发 送 输 出 ， 接 收 输 入 或 打 开 一 个 连 接 。 A c t i o n 也 能 在 S t a t e M o d e l 中 改 为 其 他 状 态 ， 在 D a t a M o d e l 之 间 移 动 数 据 ， 调 用 被 代 理 定 义 的 方 法 。 A g e n t 配 置 配 置 代 理 是 特 殊 的 P e a c h 进 程 ， 它 可 以 在 本 地 或 者 远 程 运 行 。 这 些 进 程 拥 有 一 个 或 者 多 个 监 视 器 ， 这 些 监 视 器 可 以 执 行 加 载 调 试 器 ， 查 看 内 存 消 耗 或 者 探 测 错 误 等 操 作 。 代 理 中 的 监 视 器 可 以 收 集 信 息 和 代 表 f u z z e r 执 行 操 作 。 常 用 的 代 理 有 ： 本 地 代 理 、 T C P 远 程 代 理 、 Z e r o M Q 、 R E S T   J s o n 代 理 ， 其 中 前 两 种 使 用 频 率 更 高 。 本 地 代 理 P e a c h 运 行 时 支 持 一 个 运 行 在 进 程 中 的 本 地 代 理 。 如 果 不 指 定 的 话 ， 这 是 一 个 默 认 的 代 理 类 型 。 配 置 一 个 本 地 代 理 如 下 ： T C P 远 程 代 理 这 个 代 理 存 活 在 本 地 或 远 程 机 器 的 一 个 单 独 的 进 程 中 ， 通 过 T C P 远 程 完 成 连 接 ， 是 一 种 被 本 地 运 行 时 支 持 的 R P C 形 式 。 为 了 使 用 远 程 代 理 ， 代 理 进 程 必 须 首 先 运 行 起 来 。 代 理 配 置 在 远 程 主 机 上 运 行 p e a c h . e x e   - a   t c p
M o n i t o r 配 置 配 置 M o n i t o r 主 要 有 以 下 几 种 监 视 器 ： w i n d o w s 监 视 器 、 O S X 监 视 器 、 L i n u x 监 视 器 和 跨 平 台 监 视 器 ， 每 个 平 台 的 监 视 器 都 分 很 多 种 。 其 中 w i n d o w s 监 视 器 包 括 ： W i n d o w s   D e b u g g e r   M o n i t o r 、 c l e a n u p   r e g i s t r y   m o n i t o r 、 p a g e h e a p   监 视 器 、 P o p u p W a t c h e r   监 视 器 、 w i n d o w s S e r v i c e   监 视 器 等 O S X 监 视 器 包 括 ： C r a s h W r a n g l e r   监 视 器 、 C r a s h R e p o r t e r   M o n i t o r L i n u x 监 视 器 包 括 ： L i n u x C r a s h 跨 平 台 监 视 器 包 括 ： c a n a k i t   r e l a y   监 视 器 、 C l e a n u p   F o l d e r 监 视 器 、 I p P o w e r 9 2 5 8 监 视 器 、 内 存 监 视 器 、 P c a p 监 视 器 、 P i n g 监 视 器 、 进 程 监 视 器 、 P r o c e s s k i l l e r   监 视 器 、 保 存 文 件 监 视 器 、 s o c k e t   监 视 器 、 s s h 监 视 器 、 s s h 下 载 器 监 视 器 、 v m w a r e   监 视 器 等 。 官 方 文 档 如 下 ： 以 几 个 常 见 的 为 例 进 行 参 考 。 W i n d o w s   D e b u g g e r   M o n i t o r W i n d o w s D e b u g g e r 监 视 器 控 制 了 一 个 w i n d o w s 调 试 句 柄 。 主 要 有 以 下 用 途 ： 进 程 调 试 、 服 务 调 试 、 内 核 调 试 。 必 须 参 数 可 选 参 数 C o m m a n d l i n e - - - 用 逗 号 分 隔 的 窗 口 名 字 。 P r o c e s s n a m e - - - 当 找 到 一 个 窗 口 的 时 候 ， 触 发 错 误 ， 默 认 为 假 。 K e r n e l c o n n e c t i o n s t r i n g - - - 内 核 调 试 的 连 接 字 符 串 。 S e r v i c e - - - 要 挂 载 的 w i n d o w s 服 务 名 称 。 如 果 停 止 或 者 崩 溃 ， 服 务 将 会 被 启 动 。 S y m b o l s p a t h - - - 符 号 表 路 径 或 者 服 务 。 默 认 为 ： “ S R V * h t t p : / / m s d l . m i c r o s o f t . c o m / d o w n l o a d / s y m b o l s ” W i n d b g p a t h - - - w i n d b g 的 安 装 路 径 。 尽 量 在 本 地 。 N o n c r y s t a l l i n e - - - 直 到 从 状 态 模 型 的 匹 配 调 用 完 成 时 ， d e b u g g e r 才 会 被 挂 载 。 I g n o r e f i r s t c h a n c e g u a r d p a g e - - - 忽 略 第 一 个 机 会 机 会 保 护 页 面 错 误 。 这 些 有 时 是 假 阳 性 或 反 调 试 错 误 。 默 认 为 假 。 I g n o r e s e c o n d c h a n c e g u a r d p a g e - - - 忽 略 第 二 个 机 会 保 护 页 面 错 误 。 这 些 有 时 是 假 阳 性 或 反 调 试 错 误 。 默 认 为 假 。 N o c p u k i l l - - - 不 要 使 用 进 程 C P U 使 用 率 提 前 终 止 。 默 认 为 假 。 F a u l t o n e a r l y e x i t - - - 如 果 进 程 存 在 ， 触 发 错 误 。 默 认 为 假 。 W a i t f o r e x i t o n c a l l - - 如 果 时 间 间 隔 到 了 ， - 等 待 状 态 模 型 调 用 的 进 程 退 出 和 参 数 故 障 。 W a i t f o r e x i t t i m e o u t - - - 等 待 退 出 ， t i m e o u t 值 单 位 为 微 秒 。 （ - 1 位 无 穷 大 ） 默 认 位 1 0 0 0 0 。 R e s t a r o n e a c h t e s t - - - 为 每 次 迭 代 重 启 进 程 。 默 认 为 假 。
其 他 参 数 示 例 C r a s h W r a n g l e r   监 视 器 C r a s h W a n g l e r 监 视 器 将 启 动 一 个 进 程 和 监 视 器 感 兴 趣 的 崩 溃 。 这 个 监 视 器 采 用 苹 果 系 统 自 带 的 C r a s h W r a n g l e r 工 具 ， 这 个 工 具 能 从 开 发 者 网 站 下 载 。 为 了 该 工 具 能 够 正 常 运 行 ， 它 必 须 在 每 个 机 器 上 进 行 编 译 。 参 数 ： L i n u x C r a s h 监 视 器 L i n u x C r a s h 监 视 器 用 一 个 脚 本 来 捕 捉 错 误 进 程 ， 该 脚 本 被 内 置 在 内 核 中 。 参 数 ： T e s t 配 置 配 置 指 定 使 用 哪 个 A g e n t 、 S t a t e M o d e l ， P u b l i s h e r 用 什 么 方 法 发 送 数 据 ， 使 用 什 么 方 法 变 异 数 据 ， 日 志 文 件 路 径 等 。 可 以 有 多 个 T e s t ， 使 用 时 通 过 p e a c h 命 令 行 指 定 要 运 行 的 T e s t 名 称 ， 未 指 定 默 认 运 行 名 称 为 ” D e f a u l t ” 的 T e s t 。 如 下 图 ： 属 性 ： 有 效 子 元 素 ： C o m m a n d - - - 要 执 行 的 命 令 。 A r g u m e n t s - - - 命 令 行 参 数 ， 可 选 ， 默 认 没 有 。 S t a r t O n C a l l - - - 状 态 模 型 调 用 的 启 动 命 令 。 可 选 ， 默 认 没 有 。 U s e D e b u g M a l l o c - - - 使 用 O S X   D e b u g   M a l l o c （ 比 较 慢 ） ， 可 选 默 认 为 假 。 E x e c H a n d l e r - - - C r a s h   W r a n g l e r   执 行 处 理 程 序 ， 可 选 ， 默 认 为 e x c _ h a n d l e r 。 E x p l o i t a b l e R e a d s - - - 读 a   /   v 被 认 为 是 可 利 用 的 ？ 可 选 ， 默 认 为 假 。 N o C p u K i l l - - - 通 过 C P U 使 用 禁 用 进 程 杀 死 。 可 选 ， 默 认 为 假 。 C w L o g F i l e - - - C r a s h W r a n g l e r 记 录 文 件 。 可 选 ， 默 认 为 c w . l o g 。 C w L o c k F i l e - - - C r a s h W r a n g l e r 锁 文 件 ， 可 选 ， 默 认 为 c w . l o c k 。 C w P i d F i l e - - - C r a s h W r a n g l e r   P I D 文 件 ， 可 选 ， 默 认 为 c w . p i d 。 E x e c u t a b l e - - - 目 标 可 执 行 程 序 ， 被 用 于 过 滤 崩 溃 ， 可 选 的 ， 默 认 为 所 有 。 L o g F o l d e r - - - 记 录 文 件 的 文 件 夹 。 可 选 默 认 为 “ / v a r / p e a c h c r a s h ” 。 M o n o - - - m o n o 执 行 = 程 序 所 需 的 运 行 时 的 全 路 径 。 可 选 ， 默 认 为 “ / u s r / b i n / m o n o ” A g e n t （ 可 选 ） S t a t e M o d e l （ 必 须 ） P u b l i s h e r （ 必 须 ） I n c l u d e （ 可 选 ） E x c l u d e （ 可 选 ） S t r a t e g y （ 可 选 ） L o g g e r （ 可 选 ， 推 荐 ） A g e n t （ 可 选 ） S t a t e M o d e l （ 必 须 ） P u b l i s h e r （ 必 须 ） I n c l u d e （ 可 选 ） E x c l u d e （ 可 选 ） S t r a t e g y （ 可 选 ）
示 例 ： L o g g e r s 配 置 配 置 P e a c h 有 一 个 可 扩 展 的 记 录 系 统 ， 它 允 许 使 用 者 存 储 他 们 想 要 的 记 录 。 默 认 情 况 下 ， P e a c h 使 用 一 个 单 独 的 文 件 系 统 记 录 器 。 S t r a t e g y 配 置 配 置 S t r a t e g y （ 变 异 策 略 ） 包 括 ： R a n d o m ： 默 认 会 随 机 选 择 最 大 6 个 元 素 （ 可 以 通 过 参 数 M a x F i e l d s T o M u t a t e 设 置 ） 利 用 随 机 m u t a t o r （ 变 异 器 ） 进 行 变 异 。 S e q u e n t i a l ： P e a c h 会 顺 序 对 每 个 元 素 使 用 其 所 有 可 用 的 M u t a t o r s 进 行 变 异 。 R a n d o m D e t e r m i n i s t i c ： P e a c h 默 认 规 则 。 这 个 规 则 对 p i t   x m l 文 件 中 元 素 根 据 M u t a t o r s 生 成 的 I t e r a t i o n s 链 表 做 相 对 随 机 （ 由 链 表 中 元 素 数 目 决 定 ） 的 顺 序 混 淆 ， 所 以 每 个 x m l 文 件 每 次 运 行 生 成 的 测 试 用 例 多 少 、 顺 序 固 定 ， 这 样 才 能 保 证 s k i p t o 的 准 确 性 。 P e a c h 3 包 括 元 素 增 、 删 、 改 、 交 换 ， 经 验 值 ， 逐 位 、 双 字 等 M u t a t o r s 。 示 例 运 行 示 例 运 行 根 据 上 述 p i t 参 数 ， 做 了 个 H e l l o T i d e 的 示 例 ， 了 解 p i t 文 件 基 本 的 参 数 配 置 及 结 构 。 H e l l o T i d e 的 p i t 文 件 已 上 传 g i t h u b ： S t r a t e g y （ 可 选 ） L o g g e r （ 可 选 ， 推 荐 ） [ h t t p s : / / g i t h u b . c o m / T i d e S e c / P e a c h _ F u z z i n g / b l o b / m a s t e r / p i t - x m l - s a m p l e s / H e l l o T i d e . x m l ] ( h t t p s : / / g i t h u b . c o m / T i d e S e c / P e a c h _ F u z z i n g / b l o b / m a s t e r / p i t - x m l - s a m p l e s / H e l l o T i d e . x m l ) < ? x m l   v e r s i o n = " 1 . 0 "   e n c o d i n g = " u t f - 8 " ? > < P e a c h   x m l n s = " h t t p : / / p e a c h f u z z e r . c o m / 2 0 1 2 / P e a c h "   x m l n s : x s i = " h t t p : / / w w w . w 3 . o r g / 2 0 0 1 / X M L S c h e m a - i n s t a n c e "         x s i : s c h e m a L o c a t i o n = " h t t p : / / p e a c h f u z z e r . c o m / 2 0 1 2 / P e a c h   . . / p e a c h . x s d " >         < D a t a M o d e l   n a m e = " T h e D a t a M o d e l " >                                 < S t r i n g   v a l u e = " H e l l o   T i d e ! "   / >         < / D a t a M o d e l >         < S t a t e M o d e l   n a m e = " S t a t e "   i n i t i a l S t a t e = " S t a t e 1 "   >                 < S t a t e   n a m e = " S t a t e 1 "     >
在 c m d 中 运 行 ， 运 行 后 P e a c h 会 以 这 个 原 始 的 字 符 串   为 模 板 变 异 出 许 多 畸 形 的 数 据 出 来 ， 包 括 了 超 长 串 、 N U L L 结 束 符 缺 失 的 非 法 串 、 格 式 化 串 等 有 可 能 引 起 程 序 出 错 的 串 ， 然 后 依 次 打 印 出 来 。 L o g 日 志 记 录 如 下                 < S t a t e   n a m e = " S t a t e 1 "     >                         < A c t i o n   t y p e = " o u t p u t "   >                                 < D a t a M o d e l   r e f = " T h e D a t a M o d e l " / >                         < / A c t i o n >                 < / S t a t e >         < / S t a t e M o d e l >         < T e s t   n a m e = " D e f a u l t " >                 < S t a t e M o d e l   r e f = " S t a t e " / >                 < P u b l i s h e r   c l a s s = " C o n s o l e "   / >                 < L o g g e r   c l a s s = " F i l e " >                         < P a r a m   n a m e = " P a t h "   v a l u e = " l o g . t x t "   / >                 < / L o g g e r >         < / T e s t > < / P e a c h > p e a c h . e x e   s a m p l e s H e l l o T i d e . x m l
p e a c h 应 用 应 用 — — H T T P 协 议 模 糊 测 试 协 议 模 糊 测 试 有 些 p e a c h 教 程 都 是 对 图 片 或 者 音 视 频 文 件 进 行 f u z z ， 作 为 w e b 狗 只 是 对 H T T P 协 议 比 较 熟 ， 所 以 尝 试 对 h t t p 进 行 p e a c h 模 糊 测 试 。 测 试 目 的 测 试 目 的 本 测 试 主 要 是 测 试   H T T P   协 议 的 健 壮 性 ， 通 过 定 制 P e a c h   p i t   f i l e ， 查 看 是 否 可 以 通 过 对 h t t p 协 议 进 行 模 糊 测 试 导 致 h t t p 服 务 不 响 应 或 其 他 异 常 现 象 。 选 择 的 目 标 是 之 前 写 的 一 个 扫 描 器 登 录 界 面 ， 使 用 p h p s t u d y 搭 建 。 因 为 主 要 是 测 试 h t t p 协 议 ， 所 以 任 意 w e b 应 用 都 可 以 。 分 析 协 议 分 析 协 议 [ h t t p s : / / g i t h u b . c o m / T i d e S e c / W D S c a n n e r ] ( h t t p s : / / g i t h u b . c o m / T i d e S e c / W D S c a n n e r )
既 然 要 进 项 协 议 f u z z ， 那 么 首 先 应 该 搞 清 楚 和 服 务 器 之 间 的 通 信 协 议 是 怎 么 样 的 。 随 意 下 载 一 个 可 以 在 应 用 层 进 行 抓 包 的 软 件 就 可 以 满 足 我 们 的 需 求 ， 在 此 我 用 的 是 w i r e s h a r k 。 抓 取 登 录 数 据 包 ： h t t p 请 求 包 定 制 定 制 p i t 文 件 文 件 针 对 H t t p 协 议 ， 完 善 p i t 文 件 h t t p f u z z 的 p i t 文 件 已 上 传 g i t h u b ： h t t p f u z z . x m l [ h t t p s : / / g i t h u b . c o m / T i d e S e c / P e a c h _ F u z z i n g / b l o b / m a s t e r / p i t - x m l - s a m p l e s / h t t p f u z z . x m l ] ( h t t p s : / / g i t h u b . c o m / T i d e S e c / P e a c h _ F u z z i n g / b l o b / m a s t e r / p i t - x m l - s a m p l e s / h t t p f u z z . x m l ) < ? x m l   v e r s i o n = " 1 . 0 "   e n c o d i n g = " u t f - 8 " ? > < P e a c h   x m l n s = " h t t p : / / p e a c h f u z z e r . c o m / 2 0 1 2 / P e a c h "   x m l n s : x s i = " h t t p : / / w w w . w 3 . o r g / 2 0 0 1 / X M L S c h e m a - i n s t a n c e "         x s i : s c h e m a L o c a t i o n = " h t t p : / / p e a c h f u z z e r . c o m / 2 0 1 2 / P e a c h   . . / p e a c h . x s d " >         < D a t a M o d e l   n a m e = " D a t a L o g i n " >                 < S t r i n g   v a l u e = " G E T   / i n d e x . p h p ? m = l o g i n "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                                                       < S t r i n g   v a l u e = "   H T T P / 1 . 1 "   / >       < ! - -   不 加 m u t a b l e = " f a l s e "   说 明 要 对 该 数 值 进 行 f u z z   - - >                 < S t r i n g   v a l u e = " r n "   / >                   < S t r i n g   v a l u e = " C o n t e n t - T y p e :   "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                 < S t r i n g   v a l u e = " a p p l i c a t i o n / x - w w w - f o r m - u r l e n c o d e d "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                       < S t r i n g   v a l u e = " r n "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                 < S t r i n g   v a l u e = " A c c e p t - E n c o d i n g :   "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                 < S t r i n g   v a l u e = " g z i p ,   d e f l a t e "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                       < S t r i n g   v a l u e = " r n "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                 < S t r i n g   v a l u e = " A c c e p t :   "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                 < S t r i n g   v a l u e = " t e x t / h t m l , a p p l i c a t i o n / x h t m l + x m l , a p p l i c a t i o n / x m l ; q = 0 . 9 , i m a g e / w e b p , i m a g e / a p n g , * / * ; q = 0 . 8 , a p p l i c a t i o n / s i g n e d - e x c h a n g e ; v = b 3 "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                       < S t r i n g   v a l u e = " r n "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                     < S t r i n g   v a l u e = " U s e r - A g e n t :   "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                 < S t r i n g   v a l u e = " M o z i l l a / 5 . 0   ( W i n d o w s   N T   6 . 1 ;   W i n 6 4 ;   x 6 4 )   A p p l e W e b K i t / 5 3 7 . 3 6   ( K H T M L ,   l i k e   G e c k o )   C h r o m e / 7 5 . 0 . 3 7 7 0 . 1 0 0   S a f a r i / 5 3 7 . 3 6 "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                       < S t r i n g   v a l u e = " r n "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                 < S t r i n g   v a l u e = " H o s t :   1 0 . 2 1 1 . 5 5 . 2 "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                 < S t r i n g   v a l u e = " r n "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                 < S t r i n g   v a l u e = " C o n e c t i o n :   "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                 < S t r i n g   v a l u e = " K e e p - A l i v e "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >                       < S t r i n g   v a l u e = " r n "   m u t a b l e = " f a l s e "   t o k e n = " t r u e " / >
回复

举报

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

本版积分规则

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

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