搜索

[16286] 2021-01-06_DevSecOps建设之白盒篇

文档创建者：s7ckTeam
浏览次数：3
最后更新：2025-01-18
2021-01-06_DevSecOps建设之白盒篇 D e v S e c O p s 建 设 之 白 盒 篇 原 创   理 想 汽 车 安 全 部   F r e e B u f   2 0 2 1 - 0 1 - 0 6 一 、 前 言 一 、 前 言 未 来 几 年 ， 安 全 开 发 领 域 的 行 业 趋 势 是 什 么 ？ 我 觉 得 是 D e v S e c O p s 。 那 么 什 么 是 D e v S e c O p s ？ 一 图 带 你 了 解 D e v S e c O p s 内 涵 。 在 D e v S e c O p s 方 案 中 ， 传 统 的 s d l 方 案 将 被 摒 弃 ， 安 全 与 开 发 不 再 是 完 全 隔 离 的 两 个 环 节 ， 而 是 在 开 发 的 整 个 生 命 周 期 里 都 嵌 入 了 安 全 的 能 力 ， 并 且 该 能 力 将 会 逐 步 向 左 移 动 。 在 这 期 间 ， 应 用 安 全 测 试 将 会 更 加 多 样 性 ， 在 D e v S e c O p s 方 法 指 导 下 的 新 一 代 应 用 开 发 流 程 中 ， 应 用 的 安 全 检 测 不 再 仅 仅 依 靠 传 统 的 黑 盒 测 试 和 白 盒 测 试 , 安 全 测 试 方 法 将 出 现 多 样 化 ， 交 互 式 的 灰 盒 测 试 ( i a s t ) 将 会 逐 步 流 行 ， 而 且 将 会 成 为 提 高 漏 洞 检 出 率 和 降 低 漏 洞 误 报 率 的 重 要 环 节 。 安 全 能 力 渗 透 范 围 将 会 扩 大 ， 在 传 统 的 s d l 中 ， 安 全 能 力 仅 仅 集 中 在 编 码 阶 段 的 白 盒 检 测 和 测 试 阶 段 的 黑 盒 检 测 ， 虽 然 绝 大 多 数 的 安 全 问 题 都 在 这 两 个 环 节 发 现 ， 但 是 从 软 件 安 全 修 复 成 本 来 看 ， 这 并 不 是 很 好 的 方 案 。 如 果 能 够 在 安 全 需 求 分 析 阶 段 就 能 够 将 尽 可 能 的 考 虑 到 所 有 的 安 全 风 险 问 题 ， 并 给 出 相 应 的 威 胁 模 型 和 解 决 方 案 ， 那 么 后 续 软 件 修 复 的 成 本 将 会 大 大 的 降 低 。 在 D e v S e c O p s 中 ， 安 全 能 力 的 渗 透 主 要 表 现 在 ， 在 安 全 需 求 讨 论 阶 段 的 威 胁 建 模 分 析 ， 安 全 编 码 阶 段 的 组 件 安 全 检 测 和 代 码 安 全 检 测 ， 安 全 测 试 阶 段 的 多 样 化 安 全 测 试 方 式 ( 白 盒 ， 黑 盒 ， 灰 盒 ) ， 以 及 应 用 上 线 之 后 的 持 续 性 的 安 全 风 险 监 测 。 自 动 化 势 在 必 行 ， 很 多 公 司 的 安 全 部 门 或 多 或 少 都 有 一 些 自 研 或 购 买 的 应 用 安 全 检 测 产 品 ， 但 这 些 产 品 通 常 是 分 散 的 ， 各 自 由 相 应 的 安 全 人 员 负 责 的 ， 而 在 未 来 ， s d l 将 逐 步 走 向 自 动 化 ， 安 全 检 测 工 具 将 不 再 零 散 分 布 ， 而 是 在 一 个 平 台 中 集 中 管 理 和 编 排 ， 安 全 检 测 更 趋 向 于 自 动 化 。 安 全 联 动 让 1 + 1 > 2 ， 所 谓 的 安 全 联 动 是 指 各 个 环 节 的 安 全 能 力 不 再 只 为 本 环 节 负 责 ， 而 是 通 过 能 力 反 哺 和 启 发 的 方 式 ， 影 响 上 下 游 环 节 。 理 想 汽 车 安 全 部 - D e v S e c O p s 小 组 在 过 去 的 一 年 里 针 对 D e v S e c O p s 方 面 也 做 了 一 些 实 践 ， 作 为 D e v S e c O p s 系 列 文 章 的 开 篇 ， 这 里 就 由 我 来 为 大 家 简 要 的 介 绍 一 下 我 们 在 静 态 白 盒 检 测 方 面 做 的 一 些 事 情 。 二 、 自 研 分 布 式 白 盒 引 擎 二 、 自 研 分 布 式 白 盒 引 擎 A p o l l o 0 x 1   分 布 式 白 盒 系 统 拓 扑 图 分 布 式 白 盒 系 统 拓 扑 图 如 上 图 所 示 ， 即 为 我 们 内 部 在 用 的 自 研 白 盒 系 统 ( a p o l l o ) 拓 扑 图 ， 目 前 第 三 方 方 面 支 持 三 种 方 式 接 入 分 布 式 白 盒 系 统 。 第 一 种 方 式 是 直 接 登 陆 w e b 平 台 进 行 任 务 提 交 操 作 ， 第 二 种 是 通 过 j e n k i n s p i p l i n e s 方 式 ， 将 白 盒 引 擎 能 力 集 成 到 p i p l i n e 流 水 线 中 ， 第 三 种 是 直 接 通 过 客 户 端 程 序 提 交 任 务 到 m a s t e r 节 点 。 0 x 2   a p o l l o 工 作 流 程 介 绍 工 作 流 程 介 绍 a p o l l o 白 盒 引 擎 采 用 r e d i s - s e n t i n e l 作 为 消 息 队 列 ， w o r k e r 集 群 中 的 节 点 通 过 抢 占 方 法 获 取 任 务 信 息 ( 似 乎 应 该 优 化 下 ) ， 节 点 获 得 任 务 信 息 后 将 会 通 过 远 程 共 享 磁 盘 获 取 到 待 检 测 源 码 包 ， 启 动 对 应 分 析 引 擎 进 行 自 动 化 白 盒 审 计 分 析 ， 审 计 任 务 完 成 后 ， 结 果 数 据 将 会 被 存 储 到 m y s q l 主 服 务 器 中 ， 通 过 数 据 同 步 ， 将 数 据 同 步 到 从 服 务 器 中 ， m a s t e r 节 点 通 过 读 操 作 从 从 服 务 器 上 读 取 相 关 到 任 务 数 据 信 息 ( 包 括 漏 洞 信 息 ， 任 务 信 息 等 ) ， 渲 染 到 w e b 前 端 展 示 。 0 x 3   分 布 式 白 盒 系 统 架 构 图 分 布 式 白 盒 系 统 架 构 图
以 上 是 分 布 式 白 盒 检 测 系 统 的 整 体 架 构 。 w e b 前 端 技 术 部 分 主 要 包 括 v u e ， e l e m e n t U I 及 e c h a r t ， 这 三 者 似 乎 在 前 端 里 就 是 个 黄 金 搭 档 ， w h a t e v e r ， 还 是 要 感 谢 这 些 研 发 前 辈 给 我 们 提 供 了 这 么 实 用 又 容 易 上 手 的 框 架 。 基 于 此 ， A p o l l o 分 布 式 白 盒 检 测 系 统 实 现 了 一 些 必 要 的 一 些 后 端 交 互 ， 如 用 户 管 理 交 互 ， 作 业 管 理 交 互 ， 漏 洞 审 计 交 互 ， 项 目 创 建 交 互 ， 以 及 对 引 擎 检 出 的 数 据 进 行 了 相 对 友 好 的 可 视 化 展 示 。 0 x 4   首 页 首 页 - 数 据 可 视 化 数 据 可 视 化 首 页 针 对 以 往 检 测 的 项 目 信 息 进 行 可 视 化 分 析 展 示 ， 基 本 信 息 展 示 方 面 ， 除 了 总 项 目 数 ， 总 代 码 行 数 ， 总 风 险 数 等 信 息 外 ， 我 们 还 展 示 了 总 的 万 行 代 码 漏 洞 率 ， 用 于 评 估 现 阶 段 企 业 内 部 的 代 码 安 全 性 。 为 了 使 得 展 示 效 果 比 较 友 好 ， 以 及 避 免 泄 漏 企 业 内 部 的 一 些 敏 感 信 息 ， 上 图 可 视 化 展 示 的 数 据 均 为 测 试 数 据 。 下 面 简 要 的 介 绍 下 图 表 内 容 的 含 义 。 第 一 个 图 表 展 示 了 本 年 度 ， 从 一 月 份 到 十 二 月 份 每 个 月 的 漏 洞 检 出 情 况 ， 以 及 漏 洞 修 复 情 况 ( 红 色 为 漏 洞 数 趋 势 图 ， 绿 色 为 漏 洞 修 复 数 趋 势 图 ) 相 关 的 研 发 负 责 人 可 据 此 来 评 估 各 个 项 目 组 的 月 度 及 年 度 的 代 码 安 全 性 ， 代 码 安 全 性 数 据 可 作 为 评 估 研 发 工 程 师 研 发 能 力 的 一 部 分 ， 加 入 到 绩 效 考 核 之 中 。 0 x 5   项 目 管 理 模 块 项 目 管 理 模 块 项 目 管 理 模 块 主 要 实 现 了 项 目 创 建 ， 项 目 列 表 展 示 ， 项 目 详 情 展 示 三 个 部 分 的 内 容 。
首 先 介 绍 下 项 目 管 理 模 块 的 作 用 ， 项 目 管 理 模 块 的 主 要 作 用 就 是 为 了 方 便 对 d e v s e c o p s 流 程 的 管 控 ， 详 细 点 说 就 是 将 需 求 分 析 ， 威 胁 模 型 构 建 ， 防 护 规 避 方 案 ， 项 目 安 全 检 测 的 进 展 ， 漏 洞 详 情 信 息 以 项 目 为 单 位 进 行 呈 现 ， 方 便 相 关 的 研 发 负 责 人 对 于 当 前 的 项 目 组 的 代 码 安 全 性 有 一 个 比 较 全 面 的 了 解 。 针 对 项 目 创 建 方 面 ， 我 们 提 供 了 两 种 方 式 ， 一 种 是 手 动 添 加 方 式 ， 另 一 种 是 项 目 管 理 平 台 ( 如 j i r a ) 自 动 拉 取 项 目 信 息 的 方 式 。 手 动 创 建 方 式 可 能 对 于 自 动 化 方 面 会 收 到 一 些 影 响 ， 但 是 考 虑 到 并 非 所 有 公 司 、 所 有 的 项 目 组 都 喜 欢 用 项 目 管 理 平 台 ， 所 以 ， 要 全 面 落 地 d e v s e c o p s ， 提 供 手 动 创 建 项 目 还 是 很 有 必 要 的 。 关 于 威 胁 建 模 方 面 ， 如 果 是 手 动 创 建 项 目 的 话 ， 我 们 会 要 求 创 建 者 给 出 当 前 项 目 的 当 前 版 本 的 功 能 模 块 信 息 ， 然 后 后 端 知 识 库 将 会 根 据 这 些 给 定 的 功 能 模 块 信 息 ， 会 自 动 化 的 构 建 当 前 项 目 版 本 的 威 胁 模 型 信 息 ， 并 提 供 相 应 的 风 险 规 避 方 案 ( 如 下 图 所 示 ) 在 项 目 详 情 信 息 对 最 下 方 是 项 目 流 程 信 息 展 示 ， 在 这 里 ， 我 们 将 展 示 当 前 项 目 版 本 安 全 检 测 推 进 的 情 况 。 初 定 主 要 分 为 这 几 个 流 程 节 点 : 项 目 创 建 , 威 胁 建 模 ， 白 盒 检 测 ( 包 含 组 件 安 全 检 测 ) ， 灰 盒 检 测 ， 黑 盒 检 测 ， 上 线 。 0 x 6   作 业 管 理 模 块 作 业 管 理 模 块 作 业 管 理 模 块 主 要 实 现 了 作 业 提 交 ， 作 业 信 息 展 示 ， 作 业 报 表 生 成 三 个 方 面 的 功 能 。 1 、 作 业 详 情 展 示 作 业 详 情 信 息 里 我 们 将 会 展 示 当 前 作 业 检 出 结 果 的 概 要 信 息 ( 包 括 文 件 数 ， 代 码 行 数 ， 万 行 代 码 漏 洞 率 ， 漏 洞 总 数 ， 各 个 等 级 漏 洞 的 总 数 ， 以 及 任 务 开 始 和 结 束 的 时 间 ) ， 另 外 我 们 还 会 在 任 务 结 束 后 通 过 邮 件 的 形 式 给 相 关 的 负 责 人 发 送 一 份 检 出 的 结 果 报 告 ， 以 方 面 相 关 负 责 人 知 晓 白 盒 任 务 的 大 致 的 检 测 情 况 。 2 、 邮 件 通 知 3 、 作 业 报 表
作 业 结 束 后 ， 我 们 会 对 作 业 检 出 结 果 进 行 统 计 分 析 ， 然 后 通 过 e c h a r t 进 行 数 据 可 视 化 展 示 ， 并 使 用 s e l e n i u m 对 报 表 页 面 进 行 自 动 化 快 照 截 取 ， 最 后 以 邮 件 形 式 发 送 给 相 关 的 负 责 人 。 整 个 作 业 的 流 程 大 致 如 下 : 另 外 ， 其 他 人 员 如 果 希 望 获 得 一 份 作 业 的 报 表 信 息 的 话 ， 也 可 以 通 过 手 动 点 击 报 告 生 成 按 钮 ， 选 择 期 望 生 成 的 报 表 格 式 ， 进 行 作 业 报 表 的 生 成 ： 0 x 7   漏 洞 管 理 模 块 漏 洞 管 理 模 块 漏 洞 管 理 模 块 主 要 实 现 了 漏 洞 审 计 及 漏 洞 多 条 件 查 询 两 个 方 面 的 功 能 ， 以 满 足 代 码 审 计 同 学 日 常 的 代 码 审 计 工 作 。 1 、 漏 洞 列 表 展 示
提 供 的 漏 洞 条 件 查 询 方 式 ， 包 括 作 业 编 号 ， 项 目 编 号 ， 漏 洞 等 级 ， 检 测 模 式 ( s c a , 白 盒 , 灰 盒 ， 黑 盒 ) , 状 态 ( 未 确 认 ， 已 确 认 ， 未 修 复 ， 已 修 复 ) , 漏 洞 类 型 。 通 过 检 索 作 业 编 号 即 可 以 获 取 该 作 业 下 检 测 出 的 所 有 漏 洞 信 息 ， 搭 配 其 他 条 件 ， 即 可 找 到 期 望 找 到 的 漏 洞 信 息 。 2 、 漏 洞 详 情 信 息 漏 洞 详 情 信 息 方 面 我 们 会 给 出 详 细 的 漏 洞 发 生 原 理 ， 危 害 性 ， 然 后 给 出 具 有 说 服 力 的 证 明 信 息 ( 包 括 s i n k 点 ， s o u r c e 点 ， 数 据 流 信 息 ) 以 证 明 我 们 分 析 的 可 靠 性 。 3 、 漏 洞 处 理 流 程 展 示 在 漏 洞 详 情 信 息 展 示 下 方 即 为 当 前 漏 洞 的 处 理 进 度 情 况 。 相 关 的 审 计 人 员 在 对 漏 洞 进 行 二 次 评 估 之 后 ， 可 以 对 漏 洞 的 状 态 信 息 进 行 修 改 ， 以 推 进 漏 洞 处 理 的 进 度 。 0 x 8   白 盒 漏 洞 规 则 白 盒 漏 洞 规 则
目 前 a p o l l o 白 盒 引 擎 方 面 已 支 持 2 0 0 个 j a v a 应 用 漏 洞 检 测 规 则 ， 涵 盖 9 8 % j a v a 类 型 漏 洞 。 三 、 三 、 D e v S e c O p s 自 动 化 自 动 化 1 、 将 静 态 代 码 检 测 嵌 入 d e v o p s 。 静 态 代 码 检 测 和 d e v s e c o p s 结 合 主 要 有 四 种 方 式 ， 第 一 种 是 w e b h o o k 方 式 ， 即 监 控 g i t 的 p u s h 操 作 ， 对 p u s h 上 来 的 代 码 进 行 增 量 扫 描 检 测 ， 第 二 种 方 式 则 是 在 p i p l i n e s 中 集 成 客 户 端 脚 本 ， 在 项 目 进 行 编 译 打 包 时 候 ， 对 源 代 码 进 行 安 全 性 分 析 。 目 前 a p o l l o 引 擎 支 持 源 码 分 析 及 j a r 包 分 析 。 源 码 分 析 方 面 ， 通 过 客 户 端 程 序 将 源 代 码 直 接 打 包 到 a p o l l o 远 程 源 码 缓 存 磁 盘 中 ， 由 后 端 a p o l l o 白 盒 引 擎 进 行 代 码 属 性 图 构 建 ， 以 及 漏 洞 分 析 检 测 。 j a r 包 分 析 方 面 ， 客 户 端 程 序 将 上 传 打 包 生 成 对 j a r 包 到 后 端 a p o l l o 白 盒 引 擎 进 行 风 险 检 测 。 第 三 种 方 式 是 在 j e n k i n s 上 建 立 一 个 定 时 任 务 ， 定 时 针 对 目 标 项 目 进 行 静 态 代 码 安 全 性 检 测 。 第 四 种 方 式 是 由 a p o l l o 方 面 通 过 约 定 的 时 间 点 主 动 拉 取 项 目 分 支 代 码 进 行 检 测 。 就 d e v s e c o p s 建 立 早 期 而 言 ， 二 、 三 、 四 相 对 来 说 比 较 容 易 落 地 ， 而 实 际 操 作 来 说 ， 三 、 四 应 该 是 主 要 对 落 地 方 案 。 2 、 与 j i r a 项 目 管 理 平 台 进 行 对 接 ( 将 威 胁 建 模 嵌 入 到 d e v o p s 中 ) ， 这 是 我 们 一 直 在 沟 通 和 完 善 的 一 个 点 。 有 句 古 话 说 得 好 ， 上 医 治 未 病 ， 如 果 能 够 在 开 发 前 期 就 规 避 掉 9 5 % 的 问 题 ， 那 么 后 续 用 于 漏 洞 修 复 的 成 本 将 会 大 大 降 低 。 我 们 的 主 要 思 路 是 在 项 目 版 本 创 建 的 时 候 ， 由 项 目 管 理 人 员 发 布 项 目 启 动 的 i s s u e ， 在 i s s u e 中 单 独 创 建 一 个 k e y ， 包 含 当 前 项 目 版 本 将 要 实 现 的 功 能 模 块 ， d e v s e c o p s 管 理 平 台 这 边 通 过 监 控 项 目 i s s u e 信 息 ， 提 取 相 关 功 能 模 块 信 息 列 表 ， 然 后 将 这 个 列 表 作 为 输 入 ， 自 动 化 构 建 威 胁 模 型 ， 并 根 据 威 胁 建 模 分 析 ， 自 动 化 给 出 风 险 规 避 方 案 ， 最 后 以 邮 件 形 式 通 知 到 相 关 的 项 目 研 发 负 责 人 。 这 样 项 目 研 发 成 员 在 开 发 过 程 中 针 对 安 全 问 题 规 避 方 面 就 会 有 法 可 依 。 四 、 四 、 D e v S e c O p s 白 盒 引 擎 实 现 白 盒 引 擎 实 现 白 盒 检 测 方 面 ， 我 们 主 要 基 于 两 款 自 研 白 盒 引 擎 进 行 检 测 ， 一 款 基 于 代 码 属 性 图 ( c p g ) ， 我 们 内 部 叫 a p o l l o ， 另 一 款 基 于 字 节 码 分 ， 我 们 内 部 叫 h a d e s 。 关 于 h a d e s 方 面 ， 此 前 d e m o 版 本 已 经 开 源 ( h t t p s : / / g i t h u b . c o m / z s d l o v e / h a d e s ) ， 而 且 我 在 g i t 仓 库 的 r e a d m e 中 已 经 做 过 详 细 的 说 明 了 ， 这 里 就 不 做 过 多 的 介 绍 了 。 而 基 于 代 码 熟 悉 图 的 漏 洞 检 测 方 案 ， 相 信 有 做 过 白 盒 引 擎 的 应 该 多 少 都 会 了 解 一 些 ， 该 理 论 最 早 应 该 是 由 F a b i a n   Y a m a g u c h i 在 其 一 篇 学 术 论 文 中 提 出 的 《 M o d e l i n g   a n d   D i s c o v e r i n g   V u l n e r a b i l i t i e s   w i t h   C o d e   P r o p e r t y   G r a p h s 》 ， 讲 的 是 如 何 将 源 代 码 抽 象 成 属 性 图 结 构 以 及 如 何 基 于 这 个 属 性 图 进 行 漏 洞 的 挖 掘 ， 该 理 论 给 予 笔 者 关 于 白 盒 方 面 的 引 擎 开 发 相 当 大 的 启 发 。 难 得 的 是 ， 为 了 让 外 界 对 这 套 理 论 有 更 好 的 了 解 ， 其 还 开 源 了 c / c + + 部 分 的 检 测 引 擎 ， 感 兴 趣 的 话 ， 各 位 可 以 去 学 习 了 解 下 ， g i t h u b 地 址 是 : h t t p s : / / g i t h u b . c o m / S h i f t L e f t S e c u r i t y / j o e r n 。 那 么 基 于 c p g 图 查 询 方 案 的 源 代 码 风 险 检 测 到 底 是 怎 么 做 的 呢 ？ 按 我 的 理 解 来 说 ， 总 的 可 以 分 三 个 阶 段 。 第 一 阶 段 是 a s t 信 息 提 取 ， 这 部 分 ， 需 要 对 源 代 码 进 行 第 一 阶 段 的 抽 象 处 理 ， 即 将 源 代 码 抽 象 为 a s t 。 一 般 来 说 ， 这 部 分 不 需 要 自 己 实 现 ， 而 且 也 不 建 议 各 位 自 己 实 现 ， 只 需 要 找 到 相 应 的 a s t 解 析 库 即 可 。 这 里 给 个 建 议 ， j a v a 方 面 的 话 可 以 使 用 j a v a p a r s e r 来 提 取 , c / c + + 方 面 可 利 用 e c l i p s e 的 C D T 库 来 进 行 解 析 。 下 面 我 们 来 讲 下 第 二 阶 段 要 做 的 事 情 ， 在 第 一 阶 段 中 ， 我 们 已 经 获 得 了 一 个 a s t 列 表 ， 基 于 这 个 a s t 列 表 ， 我 们 在 第 二 阶 段 要 做 的 事 情 是 对 每 一 个 函 数 进 行 过 程 内 的 c f g ( c o n t r o l   f l o w   g r a p h ) 和 e o g ( e v a l u t i o n   o r d e r   g r a p h ) ， 以 及 基 于 c f g 遍 历 和 e o g 遍 历 的 d f g ( d a t a   f l o w   g r a p h ) 的 构 建 。 c f g 和 e o g 两 个 图 很 像 ， 都 可 以 理 解 为 针 对 程 序 执 行 路 径 的 描 述 ， 按 我 的 理 解 是 ， c f g 一 般 是 将 一 组 线 性 执 行 顺 序 的 表 达 式 合 并 为 一 个 b l o c k ， 各 个 b l o c k 之 间 通 相 应 的 条 件 分 支 关 系 连 接 在 一 起 ， 而 e o g 是 描 述 过 程 内 的 各 个 语 句 以 及 表 达 式 之 间 的 求 值 计 算 关 系 的 ， 两 者 可 以 用 来 进 行 后 续 的 数 据 流 分 析 ， 但 是 一 般 来 说 ， e o g 会 更 适 合 做 数 据 流 分 析 ， 因 为 它 是 直 接 描 述 每 个 表 达 式 之 间 的 求 值 关 系 的 ， 而 c f g 的 话 ， 我 们 还 需 要 考 虑 到 b l o c k 和 b l o c k 之 间 的 一 些 数 据 流 传 递 关 系 。 当 然 ， 这 只 是 我 个 人 的 观 点 ， 如 有 错 误 ， 敬 请 斧 正 。 关 于 数 据 流 ， 如 果 真 的 要 展 开 来 讲 的 话 ， 是 一 个 大 篇 幅 ， 这 里 我 就 分 享 下 我 在 分 析 处 理 的 过 程 中 遇 到 的 一 些 问 题 ， 以 及 我 的 一 些 解 决 问 题 的 想 法 。 我 们 知 道 直 接 的 赋 值 肯 定 是 一 种 数 据 流 的 关 系 ， 但 是 一 个 复 杂 结 构 的 过 程 中 不 仅 仅 是 只 有 简 单 的 变 量 赋 值 的 ， 比 如 数 组 成 员 的 存 取 ， 再 比 如 枚 举 器 取 值 ， 这 些 也 是 可 能 影 响 数 据 流 传 递 的 中 间 因 素 。 举 个 例 子 来 说 ， 这 里 g e t e l e m e n t ( ) 和 h e a d e r 是 直 接 的 赋 值 关 系 ， 他 们 是 可 以 被 认 为 是 数 据 流 关 系 ， 但 是 h e a d e r s 和 g e t e l e m e n t 是 什 么 关 系 ？ 求 值 关 系 。 这 种 情 况 我 们 实 际 在 处 理 的 时 候 也 应 该 认 为 是 一 种 数 据 流 的 关 系 ， 否 则 的 话 ， g e t e l e m e n t 之 前 的 数 据 流 边 就 断 了 。 关 于 f r o n t e n d 部 分 ， s h i f t l e f t 方 面 给 出 了 一 个 架 构 图 ， 可 以 参 考 学 习 一 下 ： 其 中 c p g 2 s c p g 应 该 就 是 将 a s t 构 成 点 基 本 图 升 级 为 带 有 c f g 边 和 d f g 边 点 s c p g ， 即 第 二 个 l e v e l 的 c p g 。 s h i f t l e f t 将 这 个 过 程 用 一 个 金 字 塔 模 型 进 行 描 述 e n u m e r a t i o n   h e a d e r s = r e q u e s t . g e t h e a d e r s ( ) ; S t r i n g   h e a d e r = h e a d e r s . g e t e l e m e n t ( ) ;
这 部 分 似 乎 在 之 前 的 图 的 上 层 加 入 了 两 个 新 图 ， 即 服 务 依 赖 图 和 组 件 依 赖 图 ， 以 丰 富 原 有 的 c p g 。 不 过 按 照 我 的 理 解 ， 这 个 针 对 漏 洞 漏 洞 分 析 最 有 用 ， 也 是 最 实 用 的 应 该 是 下 面 这 个 层 状 结 构 ： 只 要 我 们 能 够 构 建 起 一 个 比 较 完 整 的 数 据 流 图 ， 那 么 后 续 的 漏 洞 分 析 就 基 本 没 问 题 了 。 而 关 于 过 程 间 的 数 据 流 分 析 。 在 前 面 ， 我 们 针 对 每 一 个 函 数 进 行 了 e o g 的 构 建 ， 此 时 ， 各 个 过 程 内 的 e o g 之 间 是 没 有 任 何 联 系 的 。 如 果 我 们 需 要 进 行 过 程 间 的 数 据 流 分 析 ， 那 么 我 们 就 需 要 进 行 进 一 步 的 分 析 处 理 。 那 么 这 里 首 先 第 一 个 问 题 就 要 抛 出 来 了 ， 如 何 将 所 调 用 的 函 数 和 具 体 的 函 数 的 声 明 信 息 联 系 在 一 起 呢 ？ 我 们 知 道 ， 每 个 函 数 都 会 有 一 个 自 己 的 函 数 签 名 信 息 的 ， 所 谓 签 名 ， 就 是 你 的 一 种 身 份 凭 证 ， 所 以 ， 我 们 只 要 将 函 数 调 用 节 点 和 函 数 声 明 节 点 的 函 数 签 名 比 对 一 下 就 可 以 建 立 起 函 数 调 用 节 点 和 函 数 声 明 节 点 之 间 的 关 系 了 ， 当 然 ， 要 做 过 程 间 的 数 据 流 分 析 ， 还 需 要 对 形 参 节 点 和 实 参 节 点 进 行 映 射 关 联 ， 即 将 两 者 进 行 数 据 流 边 连 接 。 五 、 基 于 五 、 基 于 c p g 方 案 的 方 案 的 j a v a 漏 洞 挖 掘 实 战 漏 洞 挖 掘 实 战 基 于 以 上 理 论 ， 让 我 们 来 实 践 下 基 于 c p g 方 案 的 j a v a 代 码 漏 洞 挖 掘 。 a p o l l o 使 用 n e o 4 j 作 为 存 储 c p g 的 数 据 库 ， 所 以 以 下 讲 解 均 在 n e o 4 j   w e b 控 制 台 上 进 行 ， 使 用 的 是 n e o 4 j 自 带 的 c y p h e r 查 询 语 言 。 1 、 过 程 内 漏 洞 挖 掘 、 过 程 内 漏 洞 挖 掘 首 先 我 们 知 道 ， 白 盒 审 计 主 要 关 注 三 个 方 面 ， 第 一 个 是 污 点 传 入 的 地 方 ( 也 就 是 所 谓 的 s o u r c e 点 ) ， 第 二 个 是 污 点 沉 降 的 地 方 ( 也 就 是 所 谓 的 s i n k 点 ) ， 第 三 个 是 从 s o u r c e 点 到 s i n k 点 之 间 的 数 据 流 路 径 。 如 果 这 三 个 点 都 满 足 ， 那 么 我 们 就 认 为 s i n k 点 处 是 可 能 存 在 风 险 点 的 。 当 然 ， 为 了 降 低 误 报 ， 通 常 我 们 还 会 检 查 下 ， 污 点 经 s o u r c e 点 流 到 s i n k 点 的 过 程 中 是 否 经 过 了 一 些 净 化 函 数 。 下 面 我 们 使 用 a p o l l o 白 盒 引 擎 对 b e n c h m a r k   j a v a 漏 洞 靶 场 中 的 一 个 s q l 注 入 漏 洞 进 行 检 测 ， 看 看 效 果 如 何 。 靶 场 源 码 如 下 : p a c k a g e   o r g . o w a s p . b e n c h m a r k . t e s t c o d e ; i m p o r t   j a v a . i o . I O E x c e p t i o n ; i m p o r t   o r g . o w a s p . b e n c h m a r k . t e s t c o d e . T e s t ; i m p o r t   j a v a x . s e r v l e t . S e r v l e t E x c e p t i o n ; i m p o r t   j a v a x . s e r v l e t . a n n o t a t i o n . W e b S e r v l e t ; i m p o r t   j a v a x . s e r v l e t . h t t p . H t t p S e r v l e t ; i m p o r t   j a v a x . s e r v l e t . h t t p . H t t p S e r v l e t R e q u e s t ; i m p o r t   j a v a x . s e r v l e t . h t t p . H t t p S e r v l e t R e s p o n s e ; @ W e b S e r v l e t ( v a l u e = " / s q l i - 0 0 / B e n c h m a r k T e s t 0 0 0 0 8 " ) p u b l i c   c l a s s   B e n c h m a r k T e s t 0 0 0 0 8   e x t e n d s   H t t p S e r v l e t   {         p r i v a t e   s t a t i c   f i n a l   l o n g   s e r i a l V e r s i o n U I D   =   1 L ;         @ O v e r r i d e         p u b l i c   v o i d   d o G e t ( H t t p S e r v l e t R e q u e s t   r e q u e s t ,   H t t p S e r v l e t R e s p o n s e   r e s p o n s e )   t h r o w s   S e r v l e t E x c e p t i o n ,   I O E x c e p t i o n   {                 d o P o s t ( r e q u e s t ,   r e s p o n s e ) ;         }         @ O v e r r i d e         p u b l i c   v o i d   d o P o s t ( H t t p S e r v l e t R e q u e s t   r e q u e s t ,   H t t p S e r v l e t R e s p o n s e   r e s p o n s e )   t h r o w s   S e r v l e t E x c e p t i o n ,   I O E x c e p t i o n   {
这 里 我 们 先 确 定 一 下 s i n k 点 和 s o u r c e 点 信 息 。 我 们 已 知 s o u c e 点 为 g e t H e a d e r 函 数 ， 它 的 函 数 签 名 是 j a v a x . s e r v l e t . h t t p . H t t p S e r v l e t R e q u e s t . g e t H e a d e r 。 我 们 可 以 将 这 两 个 信 息 作 为 约 束 条 件 ， 查 找 出 满 足 条 件 的 s o u r c e 节 点 ， 下 面 是 c y p h e r 查 询 语 法 ： s i n k 点 定 位 语 法 类 似 ： o k ， 我 们 已 经 找 到 了 s o u r c e 点 以 及 s i n k 点 ， 下 面 我 们 来 看 看 是 否 存 在 一 条 数 据 流 路 径 连 接 s o u r c e 点 和 s i n k 点 。 我 们 使 用 如 下 查 询 语 法 ： 简 单 解 释 下 该 条 c y p h e r 语 法 的 含 义 。 p 代 表 路 径 ， s o u r c e 点 和 s i n k 点 用 于 定 位 ， ” - [ r : D F G * 1 . . ] - > ( ) < - [ r 2 : A R G U M E N T S ] - “ 这 个 部 分 语 句 采 用 夹 逼 查 询 方 式 ， 查 询 是 否 存 在 一 个 节 点 满 足 以 下 两 个 条 件 ： 1 ) 污 点 处 存 在 1 或 多 个 单 位 长 度 边 到 该 节 点 。 2 ) 该 节 点 将 作 为 s i n k 点 函 数 的 一 个 参 数 ， 参 数 索 引 位 置 是 0 。 下 面 是 查 询 出 来 的 路 径 信 息 很 明 显 ， g e t h e a d e r 和 p r e p a r e 之 间 是 存 在 数 据 流 路 径 的 ， 那 么 我 们 有 理 由 认 为 这 个 s q l 注 入 漏 洞 是 存 在 的 。                 / /   s o m e   c o d e                 r e s p o n s e . s e t C o n t e n t T y p e ( " t e x t / h t m l ; c h a r s e t = U T F - 8 " ) ;                 S t r i n g   p a r a m   =   r e q u e s t . g e t H e a d e r ( " B e n c h m a r k T e s t 0 0 0 0 8 " ) ;                 / /   U R L   D e c o d e   t h e   h e a d e r   v a l u e   s i n c e   r e q . g e t H e a d e r ( )   d o e s n ' t .   U n l i k e   r e q . g e t P a r a m e t e r ( ) .                 p a r a m   =   j a v a . n e t . U R L D e c o d e r . d e c o d e ( p a r a m ,   " U T F - 8 " ) ;                 S t r i n g   s q l   =   " { c a l l   "   +   p a r a m   +   " } " ;                 t r y   {                         j a v a . s q l . C o n n e c t i o n   c o n n e c t i o n   =   o r g . o w a s p . b e n c h m a r k . h e l p e r s . D a t a b a s e H e l p e r . g e t S q l C o n n e c t i o n ( ) ;                         j a v a . s q l . C a l l a b l e S t a t e m e n t   s t a t e m e n t   =   c o n n e c t i o n . p r e p a r e C a l l (   s q l   ) ;                         j a v a . s q l . R e s u l t S e t   r s   =   s t a t e m e n t . e x e c u t e Q u e r y ( ) ;                         o r g . o w a s p . b e n c h m a r k . h e l p e r s . D a t a b a s e H e l p e r . p r i n t R e s u l t s ( r s ,   s q l ,   r e s p o n s e ) ;                 }   c a t c h   ( j a v a . s q l . S Q L E x c e p t i o n   e )   {                         i f   ( o r g . o w a s p . b e n c h m a r k . h e l p e r s . D a t a b a s e H e l p e r . h i d e S Q L E r r o r s )   {                                 r e s p o n s e . g e t W r i t e r ( ) . p r i n t l n ( " E r r o r   p r o c e s s i n g   r e q u e s t . " ) ;                                 r e t u r n ;                         }                         e l s e   t h r o w   n e w   S e r v l e t E x c e p t i o n ( e ) ;                 }         } } M A T C H   s o u r c e n o d e s = ( s o u r c e { n a m e : " g e t H e a d e r " , f q n : " j a v a x . s e r v l e t . h t t p . H t t p S e r v l e t R e q u e s t . g e t H e a d e r " } )   R E T U R N   s o u r c e n o d e s   l i m i t   2 5 M A T C H   s i n k n o d e s = ( s i n k { n a m e : " p r e p a r e C a l l " , a r g u m e n t I n d e x : 0 , f q n : " j a v a . s q l . C o n n e c t i o n . p r e p a r e C a l l " } )   R E T U R N   s i n k n o d e s   l i m i t   2 5 M A T C H   p = ( s o u r c e { n a m e : " g e t H e a d e r " , f q n : " j a v a x . s e r v l e t . h t t p . H t t p S e r v l e t R e q u e s t . g e t H e a d e r " } ) - [ r : D F G * 1 . . ] - > ( ) < - [ r 2 : A R G U M E N T S ] - ( s i n k { n a m e : " p r e p a r e C a l l " , a r g u m e n t I n d e x : 0 , f q n : " j a v a . s q l . C o n n e c t i o n . p r e p a r e C a l l "
据 此 我 们 可 以 得 出 一 条 通 用 的 漏 洞 查 询 语 句 2 、 过 程 间 漏 洞 挖 掘 、 过 程 间 漏 洞 挖 掘 我 们 把 上 例 中 的 b e n c h m a r k 漏 洞 靶 场 修 改 以 下 ， 将 s o u r c e 点 和 s i n k 点 分 开 到 两 个 文 件 中 ， 如 下 所 示 ： 文 件 B e n c h m a r k T e s t 0 0 0 0 8 . j a v a T e s t . j a v a 文 件 简 要 说 明 一 下 ， 在 B e n c h m a r k T e s t 0 0 0 0 8 . j a v a 文 件 中 ， 函 数 d o p o s t 中 传 入 污 点 g e t h e a d e r ， 污 点 经 过 数 据 流 传 播 ， 进 入 到 过 程 T e s t . r u n e x e c 。 在 T e s t . r u n e x e c 过 程 中 ， 将 传 入 的 参 数 作 为 s q l 语 句 ， 进 行 s q l 查 询 ， 并 且 没 有 过 滤 操 作 。 下 面 我 们 验 证 下 是 否 是 否 还 能 够 查 询 出 s i n k 点 到 s o u r c e 之 间 的 路 径 信 息 我 们 还 是 使 用 之 前 的 语 句 进 行 查 询 查 询 结 果 ： M A T C H   p = ( s o u r c e { n a m e : ” s o u r c e _ n a m e ” , f q n : " s o u r c e _ f q n " } ) - [ : E O G | D F G * ] - > ( ) < - [ r 2 : A R G U M E N T S ] - ( s i n k { n a m e : " s i n k _ n a m e " , a r g u m e n t I n d e x : 0 , f q n : " s i n k _ f q n " } )   R E T U R N   p   l i m i t   1 p a c k a g e   o r g . o w a s p . b e n c h m a r k . t e s t c o d e ; i m p o r t   j a v a . i o . I O E x c e p t i o n ; i m p o r t   o r g . o w a s p . b e n c h m a r k . t e s t c o d e . T e s t ; i m p o r t   j a v a x . s e r v l e t . S e r v l e t E x c e p t i o n ; i m p o r t   j a v a x . s e r v l e t . a n n o t a t i o n . W e b S e r v l e t ; i m p o r t   j a v a x . s e r v l e t . h t t p . H t t p S e r v l e t ; i m p o r t   j a v a x . s e r v l e t . h t t p . H t t p S e r v l e t R e q u e s t ; i m p o r t   j a v a x . s e r v l e t . h t t p . H t t p S e r v l e t R e s p o n s e ; @ W e b S e r v l e t ( v a l u e = " / s q l i - 0 0 / B e n c h m a r k T e s t 0 0 0 0 8 " ) p u b l i c   c l a s s   B e n c h m a r k T e s t 0 0 0 0 8   e x t e n d s   H t t p S e r v l e t   {         p r i v a t e   s t a t i c   f i n a l   l o n g   s e r i a l V e r s i o n U I D   =   1 L ;         @ O v e r r i d e         p u b l i c   v o i d   d o G e t ( H t t p S e r v l e t R e q u e s t   r e q u e s t ,   H t t p S e r v l e t R e s p o n s e   r e s p o n s e )   t h r o w s   S e r v l e t E x c e p t i o n ,   I O E x c e p t i o n   {                 d o P o s t ( r e q u e s t ,   r e s p o n s e ) ;         }         @ O v e r r i d e         p u b l i c   v o i d   d o P o s t ( H t t p S e r v l e t R e q u e s t   r e q u e s t ,   H t t p S e r v l e t R e s p o n s e   r e s p o n s e )   t h r o w s   S e r v l e t E x c e p t i o n ,   I O E x c e p t i o n   {                 / /   s o m e   c o d e                 r e s p o n s e . s e t C o n t e n t T y p e ( " t e x t / h t m l ; c h a r s e t = U T F - 8 " ) ;                 S t r i n g   p a r a m   =   r e q u e s t . g e t H e a d e r ( " B e n c h m a r k T e s t 0 0 0 0 8 " ) ;                 / /   U R L   D e c o d e   t h e   h e a d e r   v a l u e   s i n c e   r e q . g e t H e a d e r ( )   d o e s n ' t .   U n l i k e   r e q . g e t P a r a m e t e r ( ) .                 p a r a m   =   j a v a . n e t . U R L D e c o d e r . d e c o d e ( p a r a m ,   " U T F - 8 " ) ;                 S t r i n g   s q l   =   " { c a l l   "   +   p a r a m   +   " } " ;                 T e s t . r u n e x e c ( s q l ) ;         } } p a c k a g e   o r g . o w a s p . b e n c h m a r k . t e s t c o d e ; i m p o r t   j a v a . i o . I O E x c e p t i o n ; i m p o r t   j a v a x . s e r v l e t . S e r v l e t E x c e p t i o n ; i m p o r t   j a v a x . s e r v l e t . a n n o t a t i o n . W e b S e r v l e t ; i m p o r t   j a v a x . s e r v l e t . h t t p . H t t p S e r v l e t ; i m p o r t   j a v a x . s e r v l e t . h t t p . H t t p S e r v l e t R e q u e s t ; i m p o r t   j a v a x . s e r v l e t . h t t p . H t t p S e r v l e t R e s p o n s e ; p u b l i c   c l a s s   T e s t   {         @ O v e r r i d e         p u b l i c   s t a t i c   v o i d   r u n e x e c ( S t r i n g   s q l ) {                         t r y   {                         j a v a . s q l . C o n n e c t i o n   c o n n e c t i o n   =   o r g . o w a s p . b e n c h m a r k . h e l p e r s . D a t a b a s e H e l p e r . g e t S q l C o n n e c t i o n ( ) ;                         j a v a . s q l . C a l l a b l e S t a t e m e n t   s t a t e m e n t   =   c o n n e c t i o n . p r e p a r e C a l l (   s q l   ) ;                         j a v a . s q l . R e s u l t S e t   r s   =   s t a t e m e n t . e x e c u t e Q u e r y ( ) ;                         o r g . o w a s p . b e n c h m a r k . h e l p e r s . D a t a b a s e H e l p e r . p r i n t R e s u l t s ( r s ,   s q l ,   r e s p o n s e ) ;                 }   c a t c h   ( j a v a . s q l . S Q L E x c e p t i o n   e )   {                         i f   ( o r g . o w a s p . b e n c h m a r k . h e l p e r s . D a t a b a s e H e l p e r . h i d e S Q L E r r o r s )   {                                 r e s p o n s e . g e t W r i t e r ( ) . p r i n t l n ( " E r r o r   p r o c e s s i n g   r e q u e s t . " ) ;                                 r e t u r n ;                         }                         e l s e   t h r o w   n e w   S e r v l e t E x c e p t i o n ( e ) ;                 }         } } M A T C H   p = ( s o u r c e { n a m e : " g e t H e a d e r " , f q n : " j a v a x . s e r v l e t . h t t p . H t t p S e r v l e t R e q u e s t . g e t H e a d e r " } ) - [ r : D F G * 1 . . ] - > ( ) < - [ r 2 : A R G U M E N T S ] - ( s i n k { n a m e : " p r e p a r e C a l l " , a r g u m e n t I n d e x : 0 , f q n : " j a v a . s q l . C o n n e c t i o n . p r e p a r e C a l l "
没 有 问 题 ， 还 是 能 够 得 到 原 来 的 结 果 。 那 么 过 程 间 漏 洞 查 询 是 如 何 实 现 的 呢 ？ 在 构 建 c p g 阶 段 进 行 过 程 间 数 据 流 分 析 。 我 们 知 道 每 一 个 函 数 都 有 一 个 函 数 签 名 ， 我 们 自 己 将 函 数 调 用 处 函 数 的 签 名 和 函 数 声 明 处 的 函 数 签 名 进 行 比 对 就 可 以 将 两 个 过 程 进 行 关 联 ， 然 后 我 们 在 基 于 此 对 相 应 的 数 据 流 节 点 进 行 连 接 即 可 ， 即 将 形 参 与 实 参 进 行 连 接 ， 这 样 我 们 就 能 够 进 行 过 程 间 的 数 据 流 跟 踪 分 析 了 。 六 、 业 界 主 流 白 盒 是 怎 么 做 的 呢 ？ 六 、 业 界 主 流 白 盒 是 怎 么 做 的 呢 ？ 我 们 来 分 析 下 简 单 分 析 下 c o d e q l 的 一 个 规 则 实 例 ： 这 里 Q u e r y I n j e c t i o n F l o w C o n f i g 对 s i n k 点 和 s o u r c e 点 进 行 了 配 置 ， 相 当 于 我 们 上 面 的 s o u r c e 点 和 s i n k 点 的 定 位 语 句 。 跟 进 q u e r y T a i n t e d B y 看 看 ， 这 里 调 用 Q u e r y I n j e c t i o n F l o w C o n f i g 这 个 规 则 配 置 类 的 h a s f l o w p a t h 函 数 查 询 s o u r c e 点 到 s i n k 点 之 间 是 否 存 在 数 据 流 路 径 。 那 么 我 们 进 一 步 跟 进 h a s f l o w p a t h 函 数 ， 跟 进 f l o w t o 跟 进 p a t h s u c c p l u s 函 数 ， 这 里 用 的 是 一 个 c o d e q l 语 法 中 的 一 个 快 速 传 递 闭 包 语 法 ， 作 用 类 似 我 们 刚 才 的 c y p h e r 语 法 中 的 D F G * 1 . . ， 即 查 询 是 否 存 在 1 或 多 个 单 位 边 长 路 径 连 接 s o u r c e 点 到 s i n k 点 。 看 来 英 雄 所 见 略 同 ， 哈 哈 ， 当 然 ， a p o l l o 白 盒 引 擎 还 有 l o n g   w a y   t o   g o 。 七 、 后 续 一 些 想 法 七 、 后 续 一 些 想 法 i m p o r t   j a v a i m p o r t   s e m m l e . c o d e . j a v a . d a t a f l o w . F l o w S o u r c e s i m p o r t   S q l I n j e c t i o n L i b i m p o r t   D a t a F l o w : : P a t h G r a p h s t r i n g   g e t S o u r c e L o c a t i o n ( D a t a F l o w : : P a t h N o d e   s i n k ) {         r e s u l t = s i n k . g e t N o d e ( ) . g e t L o c a t i o n ( ) . t o S t r i n g ( ) } s t r i n g   g e t S i n k L o c a t i o n ( D a t a F l o w : : P a t h N o d e   s o u r c e ) {         r e s u l t = s o u r c e . g e t N o d e ( ) . g e t L o c a t i o n ( ) . t o S t r i n g ( ) } f r o m   Q u e r y I n j e c t i o n S i n k   q u e r y ,   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 w h e r e   q u e r y T a i n t e d B y ( q u e r y ,   s o u r c e ,   s i n k ) s e l e c t   q u e r y ,   s o u r c e ,   s i n k ,   " Q u e r y   m i g h t   i n c l u d e   c o d e   f r o m   $ @ . " ,   s o u r c e . g e t N o d e ( ) ,   " t h i s   u s e r   i n p u t " p r i v a t e   c l a s s   Q u e r y I n j e c t i o n F l o w C o n f i 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   {     Q u e r y I n j e c t i o n F l o w C o n f i g ( )   {   t h i s   =   " S q l I n j e c t i o n L i b : : Q u e r y I n j e c t i o n F l o w C o n f 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 r c )   {   s r c   i n s t a n c e o f   R e m o t e F l o w S o u r c e   }     / / 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   i n s t a n c e o f   S q l I n j e c t i o n S i n k   }     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   i n s t a n c e o f   Q u e r y I n j e c t i o n S i n k   }     o v e r r i d e   p r e d i c a t e   i s S a n i t i z e r ( D a t a F l o w : : N o d e   n o d e )   {         n o d e . g e t T y p e ( )   i n s t a n c e o f   P r i m i t i v e T y p e   o r         n o d e . g e t T y p e ( )   i n s t a n c e o f   B o x e d T y p e   o r         n o d e . g e t T y p e ( )   i n s t a n c e o f   N u m b e r T y p e     } } p r e d i c a t e   q u e r y T a i n t e d B y (     Q u e r y I n j e c t i o n S i n k   q u e r y ,   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 )   {     e x i s t s ( Q u e r y I n j e c t i o n F l o w C o n f i g   c o n f   |   c o n f . h a s F l o w P a t h ( s o u r c e ,   s i n k )   a n d   s i n k . g e t N o d e ( )   =   q u e r y ) } p r e d i c a t e   h a s F l o w P a t h ( P a t h N o d e   s o u r c e ,   P a t h N o d e   s i n k )   {   f l o w s T o ( s o u r c e ,   s i n k ,   _ ,   _ ,   t h i s )   } p r i v a t e   p r e d i c a t e   f l o w s T o (     P a t h N o d e   f l o w s o u r c e ,   P a t h N o d e S i n k   f l o w s i n k ,   N o d e   s o u r c e ,   N o d e   s i n k ,   C o n f i g u r a t i o n   c o n f i g u r a t i o n )   {     f l o w s o u r c e . i s S o u r c e ( )   a n d     f l o w s o u r c e . g e t C o n f i g u r a t i o n ( )   =   c o n f i g u r a t i o n   a n d     f l o w s o u r c e . g e t N o d e ( )   =   s o u r c e   a n d     ( f l o w s o u r c e   =   f l o w s i n k   o r   p a t h S u c c P l u s ( f l o w s o u r c e ,   f l o w s i n k ) )   a n d     f l o w s i n k . g e t N o d e ( )   =   s i n k } p r i v a t e   p r e d i c a t e   p a t h S u c c P l u s ( P a t h N o d e   n 1 ,   P a t h N o d e   n 2 )   =   f a s t T C ( p a t h S u c c / 2 ) ( n 1 ,   n 2 )
回复

举报

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

本版积分规则

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

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