搜索

[9087] 2015-07-01_麻省理工学院（MIT）发明漏洞自动修复系统

文档创建者：s7ckTeam
浏览次数：89
最后更新：2025-01-17
2015-07-01_麻省理工学院（MIT）发明漏洞自动修复系统 麻 省 理 工 学 院 （ M I T ） 发 明 漏 洞 自 动 修 复 系 统 F r e e B u f   2 0 1 5 - 0 7 - 0 1 微 信 号 ： 微 信 号 ： f r e e b u f 在 本 月 计 算 机 协 会 编 程 语 言 设 计 与 实 现 会 议 上 （ 在 本 月 计 算 机 协 会 编 程 语 言 设 计 与 实 现 会 议 上 （ A s s o c i a t i o n   f o r   C o m p u t i n g   M a c h i n e r y ' s   P r o g r a m m i n g   L a n g u a g e   D e s i g n a n d   I m p l e m e n t a t i o n ） ， ） ， M I T 研 究 人 员 展 示 了 一 个 新 的 系 统 ， 能 够 通 过 导 入 其 他 更 为 安 全 的 应 用 程 序 功 能 ， 自 动 修 复 研 究 人 员 展 示 了 一 个 新 的 系 统 ， 能 够 通 过 导 入 其 他 更 为 安 全 的 应 用 程 序 功 能 ， 自 动 修 复 危 险 的 软 件 漏 洞 。 危 险 的 软 件 漏 洞 。 漏 洞 自 动 修 复 系 统 ： 漏 洞 自 动 修 复 系 统 ： C o d e P h a g e 该 系 统 称 为 C o d e P h a g e ， 它 在 自 动 “ 借 用 ” 其 他 程 序 的 功 能 时 并 不 需 要 获 取 源 代 码 。 因 此 ， 被 导 入 程 序 （ 即 D o n o r 捐 献 者 ， 后 文 简 称 D ） 的 开 发 语 言 并 不 重 要 。 一 旦 用 于 修 复 的 代 码 导 入 至 有 漏 洞 的 应 用 程 序 （ 即 R e c i p i e n t 接 收 者 ， 简 称 R ） 中 ， C o d e P h a g e 可 以 提 供 一 个 更 深 层 的 分 析 ， 以 确 保 漏 洞 被 修 复 。 M I T   计 算 机 科 学 与 人 工 智 能 实 验 室 （ C S A I L ） C o d e P h a g e 开 发 负 责 人 S t e l i o s   S i d i r o g l o u - D o u s k o s 表 示 ， “ 在 开 源 库 中 ， 我 们 有 大 量 的 源 代 码 可 供 使 用 ， 这 些 数 以 百 万 计 的 项 目 以 及 大 量 规 范 相 似 的 项 目 实 现 。 随 着 时 间 的 推 移 ， 你 需 要 完 成 的 就 是 从 这 些 项 目 中 获 取 最 好 的 组 件 来 构 建 C o d e P h a g e — — 这 一 混 合 系 统 。 ” 开 始 分 析 时 ， C o d e P h a g e 需 要 两 个 样 本 值 输 入 ： 一 个 会 造 成   R   崩 溃 ， 另 一 个 则 不 会 。 一 个 称 为 D I O D E 的 漏 洞 定 位 程 序 可 自 动 生 成 引 起 崩 溃 （ c r a s h - i n d u c i n g ） 输 入 。 但 用 户 仅 仅 认 为 是 打 开 了 一 个 特 定 文 件 而 引 发 的 崩 溃 事 故 。 系 统 运 行 过 程 系 统 运 行 过 程 首 先 ， C o d e P h a g e 为   D   提 供 了 一 个 不 会 引 起 崩 溃 的 “ 安 全 ” 输 入 。 然 后 跟 踪   D   的 执 行 操 纵 序 列 并 使 用 符 号 表 达 式 记 录 下 它 们 ， 这 里 的 符 号 表 达 式 （ s y m b o l i c   e x p r e s s i o n ， 简 称 S E ） 是 一 串 描 述 操 作 系 统 施 加 的 逻 辑 约 束 符 号 。 在 某 些 情 况 下 ， 比 如 可 能 会 检 测   D   的 输 入 是 否 小 于 某 个 阈 值 。 如 果 结 果 是 小 于 的 ， C o d e P h a g e 将 添 加 一 个   S E   术 语 来 表 示 该 情 况 低 于 阈 值 。 这 里 并 不 记 录 文 件 的 实 际 大 小 ， 仅 仅 是 通 过 检 测 施 加 限 制 约 束 。
接 下 来 ， C o d e P h a g e 为   D   提 供 一 个 引 起 崩 溃 的 输 入 。 它 再 一 次 构 建 了 一 个 S E 来 代 表   D   执 行 的 操 作 程 序 。 但 是 当 新 的 S E 从 旧 的 当 中 分 离 出 时 ， C o d e P h a g e 会 中 断 其 过 程 。 这 一 偏 差 （ d i v e r g e n c e ） 就 是 了 安 全 输 入 会 遇 到 的 约 束 而 引 起 崩 溃 的 输 入 不 会 遇 见 。 因 此 ， 这 可 能 是 R 安 全 检 测 所 缺 失 的 部 分 。 然 后 C o d e P h a g e 分 析   R   程 序 以 寻 找 大 多 数   S E   所 限 制 输 入 的 位 置 ， 但 不 是 全 部 。 R 能 以 不 同 的 顺 序 执 行 不 同 的 操 作 ， 而 非 完 全 按 照 施 者 所 做 的 ， 同 时 可 以 储 存 不 同 形 式 数 据 。 在 这 个 过 程 之 后 ， S E   描 述 了 数 据 的 状 态 ， 而 非 过 程 本 身 。 在 每 个 标 识 的 位 置 ， C o d e P h a g e 能 够 不 受 大 部 分   S E   的 约 束 — — 同 样 适 用   R 。 从 第 一 个 位 置 开 始 ， C o d e P h a g e 将 仍 然 留 在   R   程 序 语 言 中 的 少 量 约 束 转 化 成 新 代 码 ， 并 将 其 插 入 源 代 码 中 。 然 后 再 次 运 行 引 起 崩 溃 输 入 。 如 果 程 序 可 以 运 行 ， 则 新 代 码 解 决 了 这 个 问 题 。 如 果 没 有 ， C o d e P h a g e 会 移 动 到 R 的 下 一 个 候 选 位 置 。 如 果 项 目 依 旧 崩 溃 ， 即 使 在 C o d e P h a g e 已 经 尝 试 修 复 了 所 有 候 选 位 置 之 后 ， 它 仍 会 重 返   D   程 序 ， 并 继 续 建 立   S E ， 直 至 找 到 下 一 个 偏 差 。 自 动 化 的 未 来 自 动 化 的 未 来 研 究 人 员 在 发 现 漏 洞 的 D I O D E 七 个 常 见 开 源 项 目 中 测 试 了 C o d e P h a g e ， 每 个 从   D   导 入 了 两 个 到 四 个 数 量 不 等 的 漏 洞 修 复 。 在 所 有 情 况 下 ， C o d e P h a g e 均 能 够 修 复 漏 洞 代 码 ， 并 且 每 个 修 复 只 需 要 二 到 十 分 钟 时 间 。 安 全 检 测 占 据 了 现 代 商 业 软 件 8 0 % 甚 至 更 多 的 代 码 。 研 究 者 希 望 未 来 C o d e P h a g e 的 版 本 中 可 以 实 现 自 动 检 查 并 插 入 系 统 ， 从 而 大 大 减 少 软 件 开 发 者 花 费 在 繁 重 工 作 中 的 时 间 ， 解 放 程 序 员 。 开 发 者 之 语 开 发 者 之 语 M I T 计 算 机 科 学 与 工 程 教 授 M a r t i n   R i n a r d 说 ， “ 未 来 的 愿 景 是 ， 你 再 也 不 需 要 写 一 段 别 人 曾 写 过 的 代 码 。 这 个 系 统 能 够 发 现 代 码 ， 并 无 论 是 何 种 代 码 都 能 自 动 把 它 们 连 在 一 起 ， 让 你 的 程 序 运 行 起 来 。 借 用 另 一 个 具 有 相 似 功 能 程 序 代 码 的 技 巧 ， 并 且 用 来 修 复 一 个 基 本 上 已 经 坏 掉 的 程 序 ， 这 是 非 常 酷 的 过 程 。 说 实 话 ， 我 很 惊 讶 它 竟 然 能 够 运 行 。 ” B e r g e r 解 释 说 ， “ 施 者 程 序 并 不 是 相 同 的 人 写 的 。 他 们 有 不 同 的 编 码 标 准 ； 对 变 量 的 命 名 也 不 同 ； 使 用 完 全 不 同 的 变 量 ； 这 些 变 量 可 以 是 本 地 的 ； 或 者 是 更 高 的 堆 栈 。 C o d e P h a g e 能 够 识 别 这 些 链 接 ， 并 判 断 ‘ 这 些 变 量 与 这 些 变 量 有 关 联 ’ 。 与 器 官 捐 赠 相 似 ， 通 过 遗 传 密 码 的 转 移 让 个 体 更 完 美 。 它 的 工 作 原 理 及 最 终 成 果 真 的 很 令 人 惊 讶 ， 这 非 常 酷 。 ” * 参 考 来 源 ： M I T   N e w s ， 小 太 阳 花 翻 译 ， 转 载 请 注 明 来 自 F r e e B u f 黑 客 与 极 客 （ F r e e B u f . C O M ）
阅 读 原 文
回复

举报

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

本版积分规则

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