搜索

[637] 2018-06-22_高效灵活地挖掘PHP应用程序漏洞

文档创建者：s7ckTeam
浏览次数：16
最后更新：2025-01-16
2018-06-22_高效灵活地挖掘PHP应用程序漏洞 高 效 灵 活 地 挖 掘 P H P 应 用 程 序 漏 洞 A r k T e a m   2 0 1 8 - 0 6 - 2 2 作 者 ： { L I G } @ A r k T e a m 原 文 作 者 ： M i c h a e l   B a c k e s ,   K o n r a d   R i e c k ,   M a l t e S k o r u p p a ,   B e n   S t o c k   a n d   F a b i a n   Y a m a g u c h i 原 文 标 题 ： E f f i c i e n t   a n d   F l e x i b l e   D i s c o v e r y o f   P H P   A p p l i c a t i o n   V u l n e r a b i l i t i e s . 原 文 会 议 ： 2 0 1 7   I E E E   E u r o p e a n   S y m p o s i u m   o n S e c u r i t y   a n d   P r i v a c y . 网 络 的 互 通 共 赢 使 得 W e b 应 用 程 序 的 安 全 性 变 得 至 关 重 要 。 这 些 W e b 应 用 程 序 的 头 号 编 程 语 言 是 P H P ， 然 而 P H P 语 言 的 设 计 却 并 不 考 虑 安 全 因 素 ， 通 常 会 产 生 较 大 的 攻 击 面 ， 出 现 不 同 类 型 的 漏 洞 ， 如 S Q L 注 入 漏 洞 或 X S S 漏 洞 。 因 此 ， 本 文 介 绍 了 一 种 基 于 代 码 属 性 图 的 P H P 应 用 程 序 间 过 程 分 析 技 术 来 对 基 于 P H P 语 言 的 w e b 应 用 程 序 进 行 检 测 ， 该 技 术 具 有 扩 展 性 ， 能 够 很 好 地 扩 展 到 大 量 代 码 ， 具 有 很 强 的 适 应 性 。 本 文 首 先 定 义 了 代 码 属 性 图 ， 它 是 由 抽 象 语 法 树 （ A S T ） 、 控 制 流 程 图 （ C F G ） 、 程 序 依 赖 图 （ P D G ） 以 及 调 用 图 （ C G ） 组 合 而 成 的 。 该 图 能 很 好 地 展 示 项 目 的 结 构 、 语 义 、 控 制 流 、 数 据 依 赖 关 系 以 及 过 程 间 调 用 关 系 。 代 码 属 性 图 的 产 生 过 程 如 图 所 示 ： 图 1   代 码 属 性 图 的 生 成 过 程 < 1 >   输 入 P H P 项 目 文 件 。 < 2 >   递 归 地 扫 描 目 录 中 的 P H P 文 件 ， 对 于 每 个 被 识 别 的 文 件 ， P H P 内 部 解 析 器 产 生 A S T ， 文 件 名 和 目 录 节 点 被 标 记 为 系 统 节 点 。 < 3 >   将 每 个 A S T 节 点 识 别 为 C F G 节 点 ， 将 函 数 中 的 语 句 分 为 两 类 ： 结 构 化 的 控 制 语 句 和 无 结 构 话 的 语 句 来 建 立 C F G 图 。 < 4 >   对 C F G 图 中 的 每 个 节 点 进 行 数 据 流 分 析 建 立 P D G 图 。 < 5 >   将 调 用 节 点 连 接 到 相 应 的 方 法 声 明 来 产 生 调 用 图 。 为 了 能 大 规 模 地 进 行 检 测 ， 本 文 紧 接 着 对 w e b 应 用 中 的 漏 洞 建 模 为 模 式 ， 这 些 模 式 是 从 攻 击 者 的 可 控 输 入 到 关 键 安 全 函 数 的 调 用 （ 关 键 安 全 函 数 对 应 于 某 种 类 型 漏 洞 的 相 关 函 数 ） 。 使 用 代 码 属 性 图 检 测 出 应 用 程 序 中 的 漏 洞 主 要 是 通 过 图 遍 历 来 发 现 特 定 的 模 式 。 图 遍 历 检 测 过 程 如 下 所 示 ： < 1 >   首 先 识 别 出 攻 击 者 的 可 控 输 入 ， 如 $ _ G E T 、 $ _ P O S T 、 $ _ S E R V E R 等 。 < 2 >   索 引 出 某 种 漏 洞 相 关 的 关 键 函 数 调 用 ， 返 回 所 有 与 给 定 关 键 函 数 调 用 相 关 的 A S T 节 点 的 标 识 符 列 表 。 < 3 >   识 别 出 关 键 数 据 流 。 关 键 数 据 流 的 最 后 一 个 节 点 是 关 键 函 数 所 在 的 节 点 。 最 后 ， 本 文 通 过 对 G i t h u b 上 爬 取 的 1 8 5 4 个 使 用 P H P 语 言 的 项 目 进 行 实 验 。 其 中 这 1 8 5 4 个 项 目 分 为 两 部 分 ： 集 合 P （ 代 表 1 8 5 0 个 未 知 是 否 存 在 漏 洞 的 项 目 ） 和 集 合 C （ 已 知 存 在 漏 洞 的 项 目 ） 。 在 这 里 以 对 服 务 端 的 S Q L 注 入 漏 洞 检 测 为 例 ， 检 测 结 果 如 下 所 示 ：
图 2   S Q L 注 入 漏 洞 的 检 测 结 果 表 中 主 要 是 针 对 M Y S Q L _ Q U E R Y 这 个 函 数 进 行 检 测 ， 该 函 数 即 为 监 测 过 程 中 的 关 键 函 数 ， 其 中 s i n k 值 代 表 着 可 利 用 的 流 个 数 ， 可 利 用 的 流 主 要 是 指 从 攻 击 者 的 可 控 输 入 到 M Y S Q L _ Q U E R Y 这 个 关 键 函 数 的 路 径 。 由 于 很 多 可 利 用 流 指 的 是 一 个 漏 洞 ， 所 以 漏 洞 的 个 数 少 于 s i n k 值 。 该 研 究 表 明 ， 本 文 所 设 计 的 工 具 可 以 进 行 大 规 模 数 量 的 P H P 项 目 检 测 ， 通 过 建 立 不 同 的 图 遍 历 方 式 可 以 监 测 出 其 他 类 型 的 漏 洞 ， 具 有 扩 展 性 。 阅 读 原 文
回复

举报

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

本版积分规则

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

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