搜索

[13552] 2018-12-20_SmartGreyboxFuzzing：功能更强效率更高

文档创建者：s7ckTeam
浏览次数：1
最后更新：2025-01-18
2018-12-20_SmartGreyboxFuzzing：功能更强效率更高 S m a r t   G r e y b o x   F u z z i n g ： 功 能 更 强 效 率 更 高 A l p h a _ h 4 c k   F r e e B u f   2 0 1 8 - 1 2 - 2 0 前 言 前 言 近 期 ， 有 一 群 研 究 人 员 设 计 出 了 一 种 智 能 灰 盒 模 糊 测 试 模 型 ， 他 们 声 称 这 种 近 期 ， 有 一 群 研 究 人 员 设 计 出 了 一 种 智 能 灰 盒 模 糊 测 试 模 型 ， 他 们 声 称 这 种 F u z z e r 模 型 在 搜 寻 代 码 库 （ 解 析 复 模 型 在 搜 寻 代 码 库 （ 解 析 复 杂 文 件 ） 漏 洞 方 面 跟 现 有 杂 文 件 ） 漏 洞 方 面 跟 现 有 F u z z e r 相 比 ， 新 模 型 的 漏 洞 挖 掘 效 率 会 更 高 。 相 比 ， 新 模 型 的 漏 洞 挖 掘 效 率 会 更 高 。 简 介 简 介 模 糊 测 试 是 一 种 寻 找 软 件 漏 洞 的 技 术 ， 这 种 技 术 需 要 向 待 测 目 标 发 送 恶 意 构 造 的 输 入 数 据 ， 如 果 程 序 发 生 崩 溃 或 没 有 执 行 预 期 行 为 ， 这 就 表 明 这 里 有 可 能 存 在 安 全 漏 洞 。 目 前 ， 模 糊 测 试 技 术 主 要 有 三 种 类 型 ： 黑 盒 模 糊 测 试 ， 这 种 情 况 下 测 试 人 员 对 待 测 目 标 的 情 况 一 无 所 知 ； 白 盒 模 糊 测 试 ， 这 种 情 况 下 测 试 人 员 需 要 对 待 测 目 标 的 情 况 了 如 指 掌 ， 测 试 主 要 针 对 的 是 程 序 的 源 代 码 ； 灰 盒 模 糊 测 试 ， 这 种 情 况 下 测 试 人 员 手 上 只 有 部 分 待 测 目 标 信 息 。 此 前 ， 五 名 分 别 来 自 新 加 坡 国 立 大 学 、 澳 大 利 亚 莫 纳 什 大 学 和 罗 马 尼 亚 布 加 勒 斯 特 波 利 特 尼 卡 大 学 的 安 全 研 究 人 员 一 直 在 寻 找 一 种 能 够 有 效 提 升 灰 盒 模 糊 测 试 效 率 的 方 法 ， 而 现 在 他 们 表 示 研 究 已 经 取 得 了 显 著 成 果 。 这 群 研 究 专 家 基 于 A m e r i c a n   F u z z y   L o p （ A F L ， 一 款 由 安 全 专 家 M i c h a l Z a l e w s k i 开 发 的 模 糊 测 试 工 具 ） 开 发 出 了 一 款 名 叫 A F L s m a r t 的 工 具 ， 而 这 款 工 具 采 用 了 一 种 他 们 称 之 为 智 能 灰 盒 模 糊 测 试 （ S G F ） 的 技 术 。 根 据 专 家 的 介 绍 ， 目 前 社 区 有 大 量 专 门 用 于 解 析 复 杂 文 件 结 构 的 代 码 库 ， 比 如 说 解 析 音 频 、 视 频 、 图 片 、 文 档 和 数 据 库 文 件 等 等 ， 而 A F L s m a r t 在 分 析 这 类 代 码 库 方 面 的 效 率 非 常 的 高 。 在 基 于 代 码 覆 盖 的 灰 盒 模 糊 测 试 技 术 中 ， 测 试 人 员 需 要 向 f u z z e r 提 供 一 个 种 子 文 件 ， 并 通 过 随 机 翻 转 、 删 除 、 拷 贝 或 添 加 比 特 位 的 形 式 生 成 新 的 文 件 ， 然 后 让 待 测 目 标 （ 代 码 库 ） 去 解 析 这 些 文 件 以 发 现 潜 在 的 安 全 漏 洞 。 但 问 题 就 在 于 ， 对 于 复 杂 的 文 件 结 构 （ 格 式 ） ， 比 特 位 翻 转 并 不 一 定 能 生 成 有 效 的 文 件 。 不 过 ， 研 究 人 员 通 过 定 义 一 种 “ 新 型 变 异 操 作 ” 来 克 服 了 这 种 困 难 ， 这 种 技 术 是 在 虚 拟 文 件 结 构 上 实 现 的 ， 而 不 是 在 比 特 位 层 ， 这 样 就 可 以 确 保 文 件 的 有 效 性 了 。 研 究 人 员 在 白 皮 书 上 写 到 ： “ 我 们 引 入 了 一 种 新 颖 的 基 于 有 效 性 的 电 源 调 度 方 式 ， 它 可 以 让 S G F 花 费 更 多 的 时 间 来 生 成 更 容 易 通 过 程 序 解 析 阶 段 的 文 件 ， 从 而 挖 掘 到 隐 藏 得 更 深 的 业 务 处 理 逻 辑 漏 洞 。 ” 在 他 们 的 实 验 过 程 中 ， 他 们 对 目 前 十 一 款 热 门 的 用 于 处 理 二 进 制 可 执 行 文 件 （ E L F ） 、 图 片 、 音 频 和 视 频 文 件 的 开 源 代 码 库 进 行 了 测 试 ， 测 试 名 单 中 包 括 B i n u t i l s 、 L i b P N G 、 I m a g e M a g i c k 、 L i b J P E G - t u r b o 、 L i b J a s p e r 、 F F m p e g 、
L i b A V 、 W a v P a c k 和 O p e n J P E G 。 研 究 人 员 使 用 A F L s m a r t 对 这 些 代 码 库 进 行 了 测 试 ， 并 与 A F L 、 A F L f a s t 和 P e a c h   F u z z e r 等 模 糊 测 试 工 具 的 结 果 进 行 了 对 比 。 A F L s m a r t 发 现 了 3 3 个 漏 洞 ， 是 A F L 和 A F L f a s t 挖 到 漏 洞 数 量 的 一 倍 ， 而 P e a c h 一 个 漏 洞 都 没 找 到 。 实 验 结 果 表 明 ， 这 款 新 型 模 糊 测 试 工 具 总 共 发 现 了 4 2 个 安 全 漏 洞 ， 其 中 的 1 7 个 已 经 标 记 了 C V E 编 号 。 挖 掘 到 的 漏 洞 类 型 包 括 断 言 失 败 、 堆 栈 缓 冲 区 溢 出 、 空 指 针 引 用 和 除 零 错 误 等 等 。 项 目 地 址 项 目 地 址 目 前 ， 研 究 人 员 已 经 将 A F L s m a r t   F u z z e r 开 源 了 ， 感 兴 趣 的 同 学 可 以 f o r k 一 下 。 A F L s m a r t F u z z e r ： 【 G i t H u b 传 送 门 】 （ 点 击 底 部 阅 读 原 文 ） * 参 考 来 源 ： 参 考 来 源 ： s e c u r i t y w e e k ， ， F B 小 编 小 编 A l p h a _ h 4 c k 编 译 ， 转 载 请 注 明 来 自 编 译 ， 转 载 请 注 明 来 自 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. 商业源码建议获取授权，如侵犯您的权益，请联系客服处理