搜索

[687] 2019-07-15_Java动态代理语法的静态分析方法

文档创建者：s7ckTeam
浏览次数：4
最后更新：2025-01-16
2019-07-15_Java动态代理语法的静态分析方法 J a v a 动 态 代 理 语 法 的 静 态 分 析 方 法 A r k T e a m   2 0 1 9 - 0 7 - 1 5 作 者 ： { w h 1 t 3 p 1 g } @ A r k T e a m 原 文 作 者 ： G e o r g e   F o u r t o u n i s ， G e o r g e   K a s t r i n i s ， Y a n n i s   S m a r a g d a k i s 原 文 标 题 ： S t a t i c   A n a l y s i s   o f   J a v a   D y n a m i c   P r o x i e s 原 文 会 议 ： I n t e r n a t i o n a l   S y m p o s i u m   o n   S o f t w a r e   T e s t i n g   a n d   A n a l y s i s ( I S S T A )   2 0 1 8 原 文 链 接 ： h t t p s : / / y a n n i s s . g i t h u b . i o / i s s t a 1 8 - d y n a m i c - p r o x i e s - p r e p r i n t . p d f 现 代 的 主 流 语 言 都 支 持 动 态 调 用 语 法 ， 如 J a v a 的 反 射 机 制 等 。 但 是 ， 反 射 和 动 态 加 载 给 语 言 带 来 了 灵 活 性 的 同 时 ， 给 静 态 的 程 序 分 析 方 法 带 来 了 困 难 。 因 为 其 实 现 调 用 的 类 或 方 法 取 决 于 值 的 动 态 流 。 大 多 数 的 研 究 工 具 忽 略 了 分 析 语 言 的 动 态 特 性 ， 导 致 了 其 建 模 不 健 全 。 针 对 这 一 问 题 ， 论 文 使 用 了 D O O P 框 架 构 建 了 相 关 静 态 分 析 模 型 ， 提 取 出 J a v a 语 言 动 态 特 性 中 从 代 理 类 的 产 生 到 动 态 类 函 数 调 用 的 调 用 边 关 系 ， 使 得 动 态 加 载 的 类 或 方 法 有 了 一 定 的 取 值 范 围 。 根 据 分 析 得 到 的 取 值 范 围 ， 我 们 可 以 对 J a v a 语 言 的 动 态 特 性 做 一 定 的 静 态 分 析 。 1 、 J a v a 动 态 代 理 语 法 的 静 态 建 模 论 文 主 要 根 据 J a v a 语 言 动 态 代 理 的 语 法 ， 针 对 性 地 产 生 相 关 D a t a l o g 语 法 规 则 。 其 主 要 的 分 析 内 容 包 括 变 量 V ， 抽 象 对 象 O ， 调 用 I ， 函 数 签 名 S ， 类 型 T ， 方 法 M 以 及 自 然 数 N 。 论 文 中 以 发 现 P r o x y . n e w P r o x y I n s t a n c e 的 调 用 方 法 为 例 ， 说 明 D a t a l o g 的 静 态 语 法 规 则 ， 共 以 下 四 条 规 则 ： a )   寻 找 符 合 条 件 的 n e w P r o x y I n s t a n c e b )   找 到 i n v o k e 函 数 调 用 点 ， 并 建 立 调 用 边 c )   确 定 传 播 参 数 和 返 回 值
其 中 上 述 的 分 析 算 法 规 则 调 用 函 数 解 释 ， 如 下 2 、 实 验 部 分 论 文 利 用 类 似 上 述 的 规 则 实 现 了 分 析 工 具 ， 并 对 X C o r p u s 做 了 动 态 调 用 点 的 分 析 。 X C o r p u s 共 包 含 2 0 个 动 态 调 用 点 ， 该 工 具 共 发 现 了 1 9 个 动 态 调 用 点 ， 如 下 表 所 示 3 、 讨 论 文 中 采 用 的 D a t a l o g 语 法 简 单 直 观 的 表 达 了 语 法 节 点 的 查 找 算 法 ， 但 由 于 缺 乏 这 方 面 的 知 识 储 备 ， 文 中 仍 有 一 部 分 内 容 没 有 很 好 的 理 解 ， 未 来 还 需 要 学 习 一 下 D a t a l o g 语 法 。 此 外 ， 论 文 利 用 语 言 的 动 态 特 性 语 法 ， 来 筛 选 出 一 定 的 取 值 范 围 值 得 学 习 。 针 对 其 他 的 语 言 ， 通 过 从 语 法 的 角 度 入 手 ， 找 出 一 定 的 限 定 条 件 ， 计 算 出 相 关 的 取 值 范 围 ， 有 助 于 代 码 审 计 语 言 的 动 态 语 法 特 性 ， 如 P H P 的 动 态 特 性 ， 有 了 一 定 的 调 用 范 围 能 更 好 地 分 析 整 个 控 制 流 的 数 据 流 向 。 J a v a 的 静 态 程 序 分 析 已 经 有 了 一 套 成 熟 的 分 析 框 架 ， 应 该 好 好 学 习 一 下 这 些 框 架 的 使 用 方 法 ， 为 后 面 的 自 动 化 代 码 审 计 做 铺 垫 。 阅 读 原 文
回复

举报

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

本版积分规则

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

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