搜索

[13987] 2019-04-14_利用SemmleQL发现FacebookFizz的DoS漏洞挖洞经验

文档创建者：s7ckTeam
浏览次数：15
最后更新：2025-01-18
2019-04-14_利用SemmleQL发现FacebookFizz的DoS漏洞挖洞经验 利 用 S e m m l e   Q L 发 现 F a c e b o o k   F i z z 的 D o S 漏 洞 |   挖 洞 经 验 c l o u d s   F r e e B u f   2 0 1 9 - 0 4 - 1 4 本 文 讲 述 的 是 本 文 讲 述 的 是 S e m m l e 公 司 研 究 员 通 过 公 司 研 究 员 通 过 S e m m l e   Q L 查 询 语 言 发 现 的 ， 关 于 查 询 语 言 发 现 的 ， 关 于 F a c e b o o k   F i z z 项 目 的 一 个 拒 绝 服 务 漏 洞 （ 项 目 的 一 个 拒 绝 服 务 漏 洞 （ D o S ） ， ） ， 漏 洞 利 用 原 理 在 于 ， 攻 击 者 可 以 远 程 针 对 目 标 服 务 器 发 送 一 个 经 过 构 造 的 恶 意 消 息 ， 触 发 服 务 器 中 漏 洞 利 用 原 理 在 于 ， 攻 击 者 可 以 远 程 针 对 目 标 服 务 器 发 送 一 个 经 过 构 造 的 恶 意 消 息 ， 触 发 服 务 器 中 F i z z 程 序 逻 程 序 逻 辑 实 现 死 循 环 ， 最 终 造 成 目 标 服 务 器 的 拒 绝 服 务 攻 击 。 辑 实 现 死 循 环 ， 最 终 造 成 目 标 服 务 器 的 拒 绝 服 务 攻 击 。 S e m m l e 属 牛 津 大 学 孵 化 子 公 司 ， 是 一 家 安 全 初 创 企 业 ， 其 公 司 宗 旨 为 用 独 特 方 法 去 寻 找 代 码 中 的 漏 洞 ， 其 理 念 为 将 代 码 当 成 数 据 ， 将 分 析 问 题 变 成 对 数 据 库 的 请 求 ， 可 轻 松 自 动 化 地 应 用 于 大 规 模 代 码 的 审 查 。 目 前 ， S e m m l e 公 司 主 要 有 两 种 产 品 ， 一 种 是 代 码 变 量 分 析 环 境 S e m m l e   Q L 查 询 语 言 ， 另 外 一 种 为 深 层 语 义 代 码 审 查 平 台 L G T M 。 漏 洞 前 导 漏 洞 前 导   -   F a c e b o o k   T L S   1 . 3   协 议 实 现 库 协 议 实 现 库 F i z z 2 0 1 8 年 8 月 ， I E T F 正 式 发 布 T L S 1 . 3 协 议 的 最 终 版 本 R F C   8 4 4 6 ， 该 协 议 在 安 全 性 、 性 能 和 隐 私 方 面 都 有 着 重 大 改 进 ， 大 大 提 升 H T T P S 连 接 的 速 度 性 能 。 这 并 不 是 一 次 大 版 本 更 新 ， 而 是 一 次 迭 代 改 进 。 T L S 1 . 3 增 加 了 几 项 新 功 能 ， 可 以 使 互 联 网 流 量 更 加 安 全 ， 包 括 加 密 握 手 消 息 以 保 证 证 书 私 密 ， 重 新 设 计 密 钥 的 派 生 方 式 ， 以 及 零 往 返 连 接 设 置 ， 这 使 得 某 些 请 求 比 T L S 1 . 2 快 。 基 于 庞 大 的 用 户 群 体 和 随 时 随 地 的 交 流 通 信 机 制 ， 为 了 方 便 灵 活 地 在 F a c e b o o k 上 实 现 T L S 1 . 3 ， F a c e b o o k 官 方 早 前 就 在 内 部 创 建 应 用 了 一 个 用 C + + 1 4 编 写 的 强 大 、 高 性 能 的 T L S 库   -   F i z z ， 除 了 T L S 1 . 3 附 带 的 协 议 增 强 功 能 外 ， F i z z 还 提 供 了 许 多 功 能 ， 包 括 默 认 支 持 异 步 I / O ， 以 及 分 散 和 收 集 I / O 以 消 除 对 额 外 数 据 副 本 的 需 求 。 随 T L S 1 . 3 的 发 布 ， F a c e b o o k 也 于 2 0 1 8 年 8 月 在 G i t h u b 中 开 源 了 F i z z 技 术 ， 帮 助 推 动 T L S   1 . 3 协 议 在 互 联 网 中 的 应 用 实 现 。 可 以 点 此 参 考 F a c e b o o k 官 方 对 F i z z 的 说 明 。 漏 洞 严 重 性 和 相 关 的 缓 解 措 施 漏 洞 严 重 性 和 相 关 的 缓 解 措 施 该 漏 洞 造 成 的 影 响 是 ， 恶 意 攻 击 者 可 以 用 T C P 方 式 ， 针 对 部 署 了 F a c e b o o k   F i z z 库 的 任 何 服 务 器 ， 远 程 发 送 一 个 恶 意 消 息 ， 触 发 服 务 器 形 成 一 个 无 限 循 环 程 序 逻 辑 ， 最 终 大 量 消 耗 资 源 致 使 服 务 器 拒 绝 提 供 服 务 。 由 于 攻 击 者 可 以 利 用 该 漏 洞 对 服 务 造 成 中 断 破 坏 ， 但 不 具 备 未 授 权 访 问 可 能 ， 所 以 其 被 定 义 分 类 为 D o S 类 型 漏 洞 。 另 外 ， 攻 击 者 构 造 发 送 的 恶 意 消 息 大 小 仅 只 是 6 4 K B 多 ， 所 以 ， 其 攻 击 成 本 虽 然 非 常 之 低 ， 但 却 能 对 服 务 器 造 成 严 重 后 果 。
以 普 通 家 用 级 别 1 M 上 传 速 度 的 互 联 网 带 宽 连 接 来 看 ， 其 每 秒 就 能 发 送 两 个 这 样 的 恶 意 构 造 消 息 ， 按 每 个 消 息 打 掉 一 个 C P U 来 算 ， 组 合 起 一 个 小 型 的 僵 尸 网 络 ， 用 不 了 多 少 时 间 ， 就 能 让 一 个 数 据 中 心 瘫 痪 。 漏 洞 上 报 后 ， F a c e b o o k 非 常 重 视 ， 在 第 一 时 间 就 进 行 了 确 认 修 复 。   2 0 1 9 年 2 月 2 0 日 的 漏 洞 上 报 时 间 ， 2 月 2 5 日 就 在 G i t h u b 中 推 出 了 补 丁 更 新 。 另 外 F a c e b o o k 还 向 我 透 露 ， 他 们 在 2 月 2 0 日 ， 就 对 所 有 使 用 了 F i z z 库 的 服 务 器 进 行 了 内 部 缓 解 修 复 。 针 对 该 漏 洞 ， 除 了 升 级 F i z z 库 外 ， 也 没 什 么 具 体 的 缓 解 措 施 ， 建 议 所 有 F i z z 库 用 户 和 企 业 及 时 更 新 ， 其 最 新 版 本 为 v 2 0 1 9 . 0 2 . 2 5 . 0 0 。 P o C 验 证 测 试 验 证 测 试 我 用 C 语 言 写 了 一 个 简 单 的 P o C 漏 洞 利 用 代 码 ， 其 原 理 大 概 为 ： 首 先 ， 开 启 目 标 服 务 器 上 的 一 个 T C P   s o c k e t ， 向 其 发 送 一 个 6 4 K B 多 一 点 的 恶 意 消 息 P a y l o a d 。 之 后 ， 待 P a y l o a d 发 送 完 ， 这 个 P o C 代 码 会 立 即 关 闭 s o c k e t 连 接 ， 由 于 目 标 服 务 器 会 陷 入 死 循 环 逻 辑 ， 所 以 这 点 不 好 验 证 。 当 然 ， 我 还 未 对 任 何 现 实 网 站 系 统 进 行 过 验 证 性 攻 击 ， 仅 只 在 我 自 己 搭 建 的 部 署 有 F i z z 库 的 服 务 器 应 用 中 进 行 过 测 试 ， 尽 管 如 此 ， 由 于 该 漏 洞 存 在 于 F i z z 库 的 核 心 代 码 程 序 之 中 ， 所 以 ， 我 可 以 非 常 确 定 地 认 为 ， h t t p s : / / f a c e b o o k . c o m   网 站 也 存 在 该 漏 洞 。 虽 然 F a c e b o o k 已 对 自 身 服 务 系 统 进 行 了 升 级 更 新 ， 但 考 虑 到 广 大 的 F i z z 库 用 户 和 其 不 定 的 修 补 速 度 ， 我 会 在 后 续 几 个 星 期 内 选 择 公 布 具 体 的 P o C 漏 洞 利 用 代 码 。 漏 洞 分 析 漏 洞 分 析 该 漏 洞 原 因 在 于 ， F i z z 库 源 码 P l a i n t e x t R e c o r d L a y e r . c p p 文 件 第 4 2 行 l e n g t h   + = ， 其 + = 会 导 致 一 个 整 型 溢 出 。 以 下 为 其 上 下 文 代 码 片 段 ： 以 上 代 码 从 传 入 的 网 络 包 中 读 取 了 一 个 u i n t 1 6 _ t 格 式 数 据 ， 并 把 它 赋 值 给 l e n g t h ， 换 句 话 说 ， 这 个 l e n g t h 值 是 攻 击 者 可 以 控 制 的 。 接 下 来 的 第 3 9 行 i f 语 句 ， 初 看 像 一 种 边 界 检 查 ， 但 实 际 上 它 是 检 查 是 否 收 到 足 够 多 的 数 据 以 继 续 解 析 ， 这 也 就 是 我 们 上 述 漏 洞 利 用 代 码 e x p l o i t 需 要 发 送 6 4 K B 数 据 的 原 因 所 在 了 。 也 就 是 说 ， 至 少 要 接 收 到 l e n g t h 传 入 的 字 节 数 之 后 ， 其 第 4 2 行 代 码 才 会 触 发 整 数 溢 出 。 我 们 的 漏 洞 利 用 代 码 e x p l o i t 会 做 出   l e n g t h   =   0 x F F F B   的 设 置 ， 这 表 示 ， 在 l e n g t h   + = 之 后 ， l e n g t h 的 值 为 0 ， 也 可 以 说 ， 在 接 下 来 对 t r i m S t a r t 的 调 用 不 会 消 耗 任 何 数 据 ， 所 以 ， 在 对 循 环 的 后 续 迭 代 中 不 会 产 生 其 它 操 作 流 程 。 对 该 漏 洞 的 修 补 其 实 非 常 简 单 ： 使 用 一 个 比 u i n t 1 6 _ t 类 型 更 大 的 数 据 格 式 来 计 算 加 法 + ， 这 样 ， 就 不 会 导 致 整 型 溢 出 了 。 以 上 描 述 并 不 是 漏 洞 利 用 代 码 e x p l o i t 的 详 细 工 作 机 制 ， 在 我 看 来 ， l e n g t h   =   0 x F F F B 的 设 置 是 整 个 漏 洞 利 用 机 理 中 比 较 简 单 的 一 点 ， 我 觉 得 ， 对 于 大 多 读 者 来 说 ， 要 想 弄 清 构 造 恶 意 消 息 到 触 发 代 码 整 型 溢 出 的 过 程 ， 可 能 稍 微 有 点 难 ， 但 为 了 安 全 考 虑 ， 待 一 段 时 间 F i z z 用 户 更 新 修 复 后 ， 我 会 公 布 完 整 的 e x p l o i t 代 码 。 用 用 S e m m l e   Q L 发 现 该 漏 洞 发 现 该 漏 洞 F a c e b o o k 博 客 中 ， 其 工 程 师 把 F i z z 描 述 为 “ 最 基 础 的 安 全 实 现 ” ， 并 列 出 如 错 误 状 态 机 传 输 的 常 见 缺 陷 的 C + + 程 序 避 免 技 术 。 我 也 承 认 F i z z 的 总 体 代 码 质 量 非 常 好 ， 它 是 流 行 的 底 层 C + + 风 格 ， 不 会 出 现 传 统 的 C 程 序 b u g ， 尤 其 是 ， 它 不 涉 及 任 何 手 工 内 存 存 储 管 理 ， 所 以 ， 也 不 太 容 易 存 在 常 见 的 缓 冲 区 溢 出 类 问 题 。 另 外 ， F a c e b o o k 之 后 还 告 诉 我 ， 他 们 曾 a u t o   l e n g t h   =   c u r s o r . r e a d B E < u i n t 1 6 _ t > ( ) ; i f   ( b u f . c h a i n L e n g t h ( )   <   ( c u r s o r   -   b u f . f r o n t ( ) )   +   l e n g t h )   {     r e t u r n   f o l l y : : n o n e ; } l e n g t h   + =         s i z e o f ( C o n t e n t T y p e )   +   s i z e o f ( P r o t o c o l V e r s i o n )   +   s i z e o f ( u i n t 1 6 _ t ) ; b u f . t r i m S t a r t ( l e n g t h ) ; c o n t i n u e ;
在 F i z z 代 码 中 执 行 过 F u z z i n g 缺 陷 查 找 和 第 三 方 代 码 审 查 措 施 。 因 此 ， 可 以 说 F a c e b o o k   F i z z 是 一 个 高 质 量 的 代 码 项 目 ， 代 码 团 队 曾 依 照 最 佳 实 践 对 其 进 行 开 发 审 查 。 那 么 ， 怎 么 就 存 在 这 么 一 个 漏 洞 呢 ？ 我 是 如 何 用 Q L （ 查 询 语 言 ） 来 发 现 它 呢 ？ 在 P l a i n t e x t R e c o r d L a y e r . c p p 文 件 中 第 4 2 行 ， 显 然 包 含 了 一 个 整 型 溢 出 ， 但 其 难 点 和 关 键 就 在 于 怎 么 来 发 现 的 。 F u z z i n g 技 术 当 然 是 一 种 行 之 有 效 的 自 动 化 缺 陷 查 找 手 段 了 ， 但 它 是 基 于 随 机 化 生 成 输 入 的 ， 所 以 ， 当 碰 到 一 些 特 殊 代 码 路 径 时 ， 它 的 发 现 效 果 可 能 就 不 太 好 。 （ 与 其 对 应 的 就 是 ， 像 我 前 述 的 那 样 ， 编 写 漏 洞 利 用 代 码 e x p l o i t 时 ， 最 难 的 部 份 也 在 于 要 弄 清 如 何 去 构 造 一 个 输 入 ， 去 触 发 那 一 行 中 存 在 的 溢 出 漏 洞 ） 但 是 用 Q L （ 查 询 语 言 ） 方 式 就 显 得 没 这 种 限 制 了 ， 无 论 触 发 条 件 有 多 难 ， 都 可 以 用 Q L 方 式 去 发 现 任 何 整 型 溢 出 b u g 。 虽 然 Q L 方 式 的 b u g 检 查 结 果 有 些 在 实 际 环 境 中 无 法 触 发 ， 但 这 种 手 段 总 比 亡 羊 补 牢 要 好 。 当 然 ， 我 也 不 能 期 望 开 发 人 员 去 修 复 成 千 上 万 个 本 质 上 只 是 假 设 性 的 “ b u g ” ， 所 以 ， 这 种 Q L 方 式 查 询 检 查 必 须 足 够 准 确 ， 才 能 得 到 有 说 服 力 和 有 效 的 溢 出 漏 洞 。 中 间 表 示 ： (   i n t e r m e d i a t e   r e p r e s e n t a t i o n ， I R )   指 编 译 器 对 于 源 程 序 进 行 扫 描 后 生 成 的 内 部 表 示 ， 代 表 源 程 序 的 语 义 和 语 法 结 构 ， 编 译 器 的 各 个 阶 段 都 在 I R 上 进 行 分 析 或 优 化 变 换 ， 因 而 它 对 编 译 器 的 整 体 结 构 、 效 率 和 健 壮 性 都 有 着 极 大 的 影 响 。 一 开 始 ， 我 只 是 通 过 一 种 稍 微 复 杂 的 Q L 查 询 方 式 发 现 了 该 漏 洞 ， 但 我 的 同 事 J o n a s   J e n s e n 想 到 了 一 种 更 加 改 进 的 Q L 查 询 方 法 ， 这 种 方 法 比 我 之 前 的 方 法 更 加 准 确 ， 而 且 还 体 现 了 我 们 公 司 正 在 开 发 过 程 中 的 一 种 新 型 C + + 中 间 表 示 技 术 （ I R ,   I n t e r m e d i a t e   R e p r e s e n t a t i o n ） 。 当 同 一 操 作 具 备 多 个 源 语 法 时 ， 这 种 中 间 表 示 （ I R ） 可 以 简 化 Q L 查 询 。 例 如 ， 以 下 执 行 操 作 相 同 的 三 行 代 码 ： 如 果 不 用 I R ， 那 么 代 码 中 对 加 法 的 查 找 将 会 把 其 中 涉 及 的 所 有 语 法 条 目 指 令 进 行 分 离 ， 但 采 用 了 I R 方 式 后 ， 其 查 询 只 需 一 个 加 法 指 令 条 目 即 可 实 现 。 利 用 I R 方 式 ， 我 们 首 先 来 编 写 一 个 查 询 ， 该 查 询 可 以 查 找 出 所 有 从 较 大 数 据 类 型 向 较 小 数 据 类 型 的 转 化 ， 这 些 转 化 过 程 中 就 可 能 存 在 溢 出 。 代 码 如 下 ： 如 果 你 希 望 自 行 实 现 这 种 查 询 ， 需 要 下 载 Q L   f o r   E c l i p s e 和 一 个 F i z z 的 快 照 ， 具 体 的 Q L   f o r   E c l i p s e 用 法 可 以 点 此 参 考 ， 另 外 ， 你 也 可 以 通 过 我 们 的 在 线 L G T M 分 析 平 台 来 进 行 查 询 发 现 ， 但 这 种 方 式 的 缺 点 是 ， 它 只 能 对 最 新 的 源 码 版 本 进 行 查 询 ， 由 于 F a c e b o o k 在 G i t h u b 中 修 复 了 该 漏 洞 ， 所 以 这 种 方 式 也 不 能 复 现 了 。 如 预 期 所 料 ， 我 们 上 述 构 造 的 查 询 方 式 发 现 了 代 码 中 很 多 细 微 的 转 换 ， 这 样 发 现 溢 出 漏 洞 的 概 率 就 增 大 了 ， 但 还 需 进 一 步 缩 小 范 围 。 攻 击 者 可 以 触 发 的 整 型 溢 出 属 于 安 全 漏 洞 ， 所 以 ， 我 们 要 从 查 询 方 法 中 改 进 的 是 ， 需 要 去 发 现 这 些 不 同 转 换 中 存 在 的 不 可 信 输 入 值 。 J o n a s 改 进 的 查 询 方 法 在 其 中 加 入 了 新 的 I R   污 点 跟 踪 库   T a i n t T r a c k i n g . q l l ， 用 以 发 现 表 达 式 中 的 不 可 信 用 户 输 入 。 但 这 些 不 可 信 用 户 输 入 又 从 何 而 来 呢 ？ 这 通 常 取 决 于 服 务 端 应 用 ， 所 以 对 用 户 输 入 的 界 定 ， 能 帮 助 服 务 端 应 用 的 攻 击 面 建 模 。 说 到 F i z z ， 最 终 我 们 发 现 ， 可 以 通 过 F a c e b o o k 中 另 一 个 名 为 F o l l y 的 库 来 实 现 用 户 的 恶 意 输 入 。 F o l l y 库 把 数 据 存 储 在 了 一 个 名 为 I O B u f 的 类 中 ， 之 后 F i z z 实 现 过 程 会 读 取 这 个 I O B u f ， 所 以 ， 一 种 发 现 用 户 恶 意 输 入 的 方 法 就 是 去 检 查 I O B u f 用 于 F i z z 中 的 具 体 机 制 。 但 是 ， 我 们 构 建 了 另 外 一 种 更 加 简 洁 和 通 用 的 方 法 ， 它 不 仅 只 适 用 于 F i z z ， 原 理 大 概 为 ： 当 数 据 通 过 套 接 层 s o c k e t 发 送 时 ， 通 常 是 按 网 络 字 节 顺 序 发 送 的 ， 所 以 ， 最 后 网 络 数 据 需 要 转 化 为 主 机 字 节 顺 序 方 式 ， 通 常 这 种 转 化 需 要 用 到   n t o h s   或   n t o h l   方 法 ， 从 这 个 层 面 来 说 ， n t o h s   或   n t o h l   方 法 可 以 算 是 不 可 信 输 入 的 绝 佳   “ 代 理 ”   了 。 唯 一 的 问 题 是 ， F i z z 根 本 没 用 到 n t o h s   或   n t o h l   方 法 ， 它 用 到 的 是   E n d i a n   类 ， 我 们 可 用 以 下 Q L 类 来 识 别 F i z z 字 节 顺 序 转 换 的   E n d i a n   类 ： x   =   x + 1 ; x   + =   1 ; x + + ; i m p o r t   c p p i m p o r t   s e m m l e . c o d e . c p p . i r . I R     / / 导 入 s e m m l e   I R 库 f r o m   C o n v e r t I n s t r u c t i o n   c o n v w h e r e   c o n v . g e t R e s u l t S i z e ( )   <   c o n v . g e t U n a r y ( ) . g e t R e s u l t S i z e ( ) s e l e c t   c o n v
综 合 以 上 的 各 种 分 析 和 查 询 方 式 ， 我 们 编 写 了 如 下 查 询 代 码 ， 它 利 用 了 污 点 跟 踪 （ t a i n t   t r a c k ） 手 段 有 针 对 性 地 去 发 现 基 于 用 户 输 入 的 不 安 全 的 表 达 式 转 换 ， 大 大 缩 小 了 查 询 范 围 ， 提 高 了 溢 出 漏 洞 检 查 效 率 。 整 个 Q L 查 询 代 码 如 下 ： 最 终 ， 我 们 利 用 以 上 代 码 发 现 了 前 述 的 F a c e b o o k   F i z z   拒 绝 服 务 漏 洞 。 现 在 ， 再 用 它 来 对 修 复 后 的 F i z z 源 码 执 行 查 询 检 查 ， 已 不 能 发 现 任 何 漏 洞 。 漏 洞 上 报 漏 洞 上 报 2 0 1 9 年 2 月 2 0 日 ， 我 们 向 F a c e b o o k 官 方 报 送 了 这 个 漏 洞 ， 3 月 1 3 日 ， 我 们 收 到 了 F a c e b o o k 的 官 方 回 复 ： 你 好 ， K e v i n   B a c k h o u s e ， 鉴 于 你 的 上 报 漏 洞 ， 我 们 决 定 给 予 你 $ 1 0 0 0 0 美 金 的 奖 励 ， 最 后 F a c e b o o k 会 通 过 B u g c r o w d 平 台 向 你 兑 现 奖 金 。 在 此 ， 我 们 对 该 赏 金 奖 励 做 出 一 些 解 释 说 明 ： 该 漏 洞 如 果 被 恶 意 攻 击 者 利 用 ， 可 以 导 致 F a c e b ， o o k 网 络 基 础 设 施 的 拒 绝 服 务 （ D o S ） ， 虽 然 拒 绝 服 务 型 漏 洞 不 属 于 我 们 漏 洞 赏 金 范 围 ， 但 你 提 交 的 漏 洞 印 证 了 我 们 的 架 构 中 存 在 严 重 的 风 险 隐 患 。 再 次 感 谢 ， 期 待 你 继 续 向 我 们 提 交 更 多 高 质 量 漏 洞 ！ 2 0 1 9 - 0 2 - 2 0   通 过 F a c e b o o k 白 帽 项 目 提 交 漏 洞 2 0 1 9 - 0 2 - 2 0   F a c e b o o k 验 证 漏 洞 存 在 并 转 交 给 开 发 团 队 c l a s s   E n d i a n C o n v e r t   e x t e n d s   F u n c t i o n   {     E n d i a n C o n v e r t ( )   {         ( t h i s . g e t N a m e ( )   =   " b i g " )   a n d         t h i s . g e t D e c l a r i n g T y p e ( ) . g e t N a m e ( ) . m a t c h e s ( " E n d i a n " )     } } / * *   *   @ n a m e   F i z z   O v e r f l o w   *   @ d e s c r i p t i o n   N a r r o w i n g   c o n v e r s i o n s   o n   u n t r u s t e d   d a t a   c o u l d   e n a b l e   *                             a n   a t t a c k e r   t o   t r i g g e r   a n   i n t e g e r   o v e r f l o w .   *   @ k i n d   p a t h - p r o b l e m   *   @ p r o b l e m . s e v e r i t y   w a r n i n g   * / i m p o r t   c p p i m p o r t   s e m m l e . c o d e . c p p . i r . d a t a f l o w . T a i n t T r a c k i n g i m p o r t   s e m m l e . c o d e . c p p . i r . I R i m p o r t   D a t a F l o w : : P a t h G r a p h / * *   *   T h e   e n d i a n n e s s   c o n v e r s i o n   f u n c t i o n   ` E n d i a n : : b i g ( ) ` .   *   I t   i s   F o l l y ' s   r e p l a c e m e n t   f o r   ` n t o h s `   a n d   ` n t o h l ` .   * / c l a s s   E n d i a n C o n v e r t   e x t e n d s   F u n c t i o n   {     E n d i a n C o n v e r t ( )   {         t h i s . g e t N a m e ( )   =   " b i g "   a n d         t h i s . g e t D e c l a r i n g T y p e ( ) . g e t N a m e ( ) . m a t c h e s ( " E n d i a n " )     } } c l a s s   C f g   e x t e n d s   T a i n t T r a c k i n g : : C o n f i g u r a t i o n   {     C f g ( )   {   t h i s   =   " F i z z O v e r f l o w I R "   }     / * *   H o l d s   i f   ` s o u r c e `   i s   a   c a l l   t o   ` E n d i a n : : b i g ( ) ` .   * /     o v e r r i d e   p r e d i c a t e   i s S o u r c e ( D a t a F l o w : : N o d e   s o u r c e )   {         s o u r c e . ( C a l l I n s t r u c t i o n ) . g e t C a l l T a r g e t ( ) . ( F u n c t i o n I n s t r u c t i o n ) . g e t F u n c t i o n S y m b o l ( )   i n s t a n c e o f             E n d i a n C o n v e r t     }     / * *   H o l d   i f   ` s i n k `   i s   a   n a r r o w i n g   c o n v e r s i o n .   * /     o v e r r i d e   p r e d i c a t e   i s S i n k ( D a t a F l o w : : N o d e   s i n k )   {         s i n k . g e t R e s u l t S i z e ( )   <   s i n k . ( C o n v e r t I n s t r u c t i o n ) . g e t U n a r y ( ) . g e t R e s u l t S i z e ( )     } } f r o m     C f g   c f g ,   D a t a F l o w : : P a t h N o d e   s o u r c e ,   D a t a F l o w : : P a t h N o d e   s i n k ,   C o n v e r t I n s t r u c t i o n   c o n v ,     T y p e   i n p u t T y p e ,   T y p e   o u t p u t T y p e w h e r e     c f g . h a s F l o w P a t h ( s o u r c e ,   s i n k )   a n d     c o n v   =   s i n k . g e t N o d e ( )   a n d     i n p u t T y p e   =   c o n v . g e t U n a r y ( ) . g e t R e s u l t T y p e ( )   a n d     o u t p u t T y p e   =   c o n v . g e t R e s u l t T y p e ( ) s e l e c t   s i n k ,   s o u r c e ,   s i n k ,     " C o n v e r s i o n   o f   u n t r u s t e d   d a t a   f r o m   "   +   i n p u t T y p e   +   "   t o   "   +   o u t p u t T y p e   +   " . "
2 0 1 9 - 0 2 - 2 0   F a c e b o o k 对 所 有 服 务 器 进 行 补 丁 修 复 2 0 1 9 - 0 2 - 2 5   F a c e b o o k 在 G i t H u b 上 释 放 修 复 补 丁 2 0 1 9 - 0 3 - 1 3   F a c e b o o k 确 认 漏 洞 赏 金 2 0 1 9 - 0 3 - 1 9 ：   S e m m l e 公 司 披 露 漏 洞 ， 并 被 给 予 编 号 C V E - 2 0 1 9 - 3 5 6 0 * 参 考 来 源 ： 参 考 来 源 ： l g t m ， ， c l o u d s 编 译 ， 转 载 请 注 明 来 自 编 译 ， 转 载 请 注 明 来 自 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. 商业源码建议获取授权，如侵犯您的权益，请联系客服处理