搜索

[657] 2018-10-22_Saluki使用静态属性检查查找污点风格的漏洞

文档创建者：s7ckTeam
浏览次数：7
最后更新：2025-01-16
2018-10-22_Saluki使用静态属性检查查找污点风格的漏洞 S a l u k i :   使 用 静 态 属 性 检 查 查 找 污 点 风 格 的 漏 洞 A r k T e a m   2 0 1 8 - 1 0 - 2 2 作 者 ： { w h 1 t 3 p 1 g } @ A r k T e a m 原 文 作 者 ： I v a n   G o t o v c h i t s ， R i j n a r d   v a n   T o n d e r ， D a v i d   B r u m l e y 原 文 标 题 ： S a l u k i :   F i n d i n g   T a i n t - s t y l e   V u l n e r a b i l i t i e s   w i t h   S t a t i c   P r o p e r t y C h e c k i n g 原 文 会 议 ： N e t w o r k   a n d   D i s t r i b u t e d S y s t e m s   S e c u r i t y   ( N D S S )   S y m p o s i u m   2 0 1 8 原 文 链 接 ： h t t p : / / w w w . n d s s - s y m p o s i u m . o r g / w p - c o n t e n t / u p l o a d s / s i t e s / 2 5 / 2 0 1 8 / 0 7 / b a r 2 0 1 8 _ 1 9 _ G o t o v c h i t s _ p a p e r . p d f                   s a l u k i 是 一 种 用 于 检 查 二 进 制 代 码 中 的 污 点 （ 数 据 依 赖 ） 安 全 属 性 的 新 工 具 。 S a l u k i 提 供 了 一 种 用 于 表 达 基 于 污 点 的 策 略 的 特 定 语 言 。 S a l u k i 在 二 进 制 程 序 分 析 中 包 含 两 个 新 想 法 。 首 先 ， S a l u k i 使 用 μ f l u x 对 二 进 制 文 件 中 数 据 依 赖 进 行 敏 感 路 径 ， 敏 感 上 下 文 的 恢 复 。 其 次 ， S a l u k i 引 入 了 一 个 合 理 的 逻 辑 系 统 来 推 理 数 据 依 赖 。 作 者 在 该 逻 辑 系 统 上 开 发 了 一 种 特 定 的 语 言 ， 用 于 表 达 安 全 属 性 。   1 .         s a l u k i   运 行 结 构                 用 户 分 两 步 检 查 安 全 策 略 。   首 先 ， 用 户 使 用 S a l u k i 策 略 语 言 指 定 他 们 的 安 全 策 略 。   S a l u k i 安 全 策 略 用 于 描 述 安 全 污 点 模 式 的 路 径 属 性 。   策 略 包 括 两 部 分 ： （ a ） 识 别 感 兴 趣 的 程 序 模 式 ， 例 如 ， 诸 如 r e c v 和 s y s t e m 之 类 的 A P I 调 用 ， 以 及 （ b ） 在 感 兴 趣 的 位 置 之 间 进 行 检 查 数 据 依 赖 关 系 。                 如 图 所 示 ， s a l u k i 的 运 行 结 构                 a .         载 入 规 则                 b .         将 二 进 制 解 析 为 可 用 于 分 析 的 中 间 代 码                 c .         运 行 μ f l u x 以 收 集 有 关 每 个 特 定 来 源 的 执 行 的 数 据 流 。                 d .         在 策 略 、 程 序 和 收 集 的 事 实 的 基 础 上 运 行 解 算 器 。 解 算 器 将 确 定 这 个 属 性 是 否 成 立 。 该 求 解 器 实 现 了 一 个 围 绕 特 定 D S L 构 建 的 新 型 逻 辑 系 统 和 算 法 。                 e .         S a l u k i 输 出 结 果 。                 以 下 面 的 样 例 安 全 属 性 为 例                 通 常 不 希 望 从 r e c v 函 数 中 获 取 到 数 据 直 接 流 入 到 s y s t e m 函 数 ， 所 以 定 义 两 个 感 兴 趣 的 A P I 函 数 （ r e c v ， s y s t e m ） ， 其 中 r e c v 函 数 可 以 接 受 4 个 参 数 ， 但 是 只 对 b u f 感 兴 趣 ， 这 里 可 以 用 _ 来 表 示 不 感 兴 趣 的 参 数 。 其 中 c m d / b u f ， 用 来 限 制 数 据 流 ， 从 b u f 进 入 到 c m d 2 .       s a l u k i   逻 辑 系 统 和 语 言                 作 者 开 发 了 用 于 描 述 安 全 属 性 的 语 言 ， 1 中 提 到 的 案 例 就 是 其 中 一 个 例 子 。 语 言 语 法 允 许 我 们 将 属 性 指 定 为 一 系 列 模 式
和 一 组 约 束 。   如 果 所 有 模 式 在 给 定 约 束 下 匹 配 ， 则 属 性 成 立 。 下 图 为 该 语 言 语 法                 a .         定 义 1 — — 抽 象 程 序 模 型                 抽 象 程 序 模 型 是 一 个 三 元 命 题 函 数   P   = （ T ， D ， P ） 。   命 题 T t 表 示 存 在 项 t （ 见 定 义 2 ） 。   命 题 D （ l ‘ ， R ’ , l ， R ） 表 示 从 具 有 标 记 l 的 程 序 项 中 定 义 的 变 量 R 到 具 有 标 记 l ‘ 的 程 序 项 中 使 用 的 变 量 R ’ 的 信 息 流 （ 数 据 依 赖 性 ） 。   命 题 P （ p ， l ， R ） 表 示 用 户 定 义 的 谓 词 p ， 其 用 于 在 具 有 标 号 l 的 程 序 项 中 使 用 的 变 量 R .                 b .         定 义 2 — — 程 序 项 t                 程 序 项 t 是 一 个 5 元 组 ( L   t   ,   S   t   ,   C   t ,   D   t   ,   U   t   ) 其 中 L   t 是 唯 一 标 识 术 语 的 标 签 ， S   t 是 一 组 静 态 后 继 者 ， C   t 是 影 响 后 继 者 选 择 的 一 组 程 序 变 量 ， D   t 是 由 术 语 定 义 的 一 组 程 序 变 量   ， U   t 是 一 组 程 序 变 量 ， 用 于 术 语 中 。                 其 中 语 法 中 的 相 关 定 义 具 体 见 论 文 ， 这 里 由 于 篇 幅 不 详 细 叙 述                 S a l u k i 以 1 6 7 5 行 O C a m l 代 码 实 现 。   它 建 立 在 B A P 平 台 之 上 ， 目 前 支 持 将 x 8 6 ， x 8 6 - 6 4 和 A R M 体 系 结 构 提 升 为 中 间 表 示 。 B A P 为 G N U   C 库 执 行 C F G 恢 复 和 函 数 原 型 推 理 ， B A P 使 用 L L V M 作 为 反 汇 编 后 端 。                 项 目 在 线 地 址 ： h t t p s : / / g i t h u b . c o m / B i n a r y A n a l y s i s P l a t f o r m / b a p - p l u g i n s / t r e e / m a s t e r / s a l u k i 3 . 讨 论                 文 章 主 要 通 过 在 二 进 制 文 件 中 使 用 安 全 属 性 提 取 相 关 敏 感 路 径 和 上 下 文 ， 从 而 进 一 步 分 析 。 文 中 提 到 了 作 者 开 发 的 安 全 属 性 语 言 ， 使 用 该 语 言 用 以 描 述 我 们 所 感 兴 趣 的 函 数 之 间 的 上 下 文 关 系 。 这 点 其 实 有 点 类 似 属 性 图 的 实 现 ， 使 用 属 性 图 的 方 式 构 造 出 相 关 代 码 属 性 库 ， 通 过 类 S Q L 语 句 ， 推 论 上 下 文 关 系 ， 从 而 判 断 是 否 存 在 代 码 安 全 问 题 。 文 章 的 提 取 敏 感 路 径 和 上 下 文 的 方 式 可 供 借 鉴 。 阅 读 原 文
回复

举报

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

本版积分规则

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

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