搜索

[14536] 2019-09-01_Echidna：功能强大的以太坊模糊测试框架

文档创建者：s7ckTeam
浏览次数：6
最后更新：2025-01-18
2019-09-01_Echidna：功能强大的以太坊模糊测试框架 E c h i d n a ： 功 能 强 大 的 以 太 坊 模 糊 测 试 框 架 A l p h a _ h 4 c k   F r e e B u f   2 0 1 9 - 0 9 - 0 1 E c h i d n a E c h i d n a 是 一 款 针 对 以 太 坊 虚 拟 机 是 一 款 针 对 以 太 坊 虚 拟 机 E V M 代 码 的 模 糊 测 试 框 架 ， 该 工 具 基 于 代 码 的 模 糊 测 试 框 架 ， 该 工 具 基 于 H a s k e l l 代 码 库 实 现 ， 并 支 持 相 对 复 杂 代 码 库 实 现 ， 并 支 持 相 对 复 杂 的 基 于 语 法 的 模 糊 测 试 任 务 。 的 基 于 语 法 的 模 糊 测 试 任 务 。 以 太 坊 虚 拟 机 以 太 坊 虚 拟 机 E V M 以 太 坊 虚 拟 机 E V M 是 智 能 合 约 的 运 行 环 境 ， 它 不 仅 是 沙 盒 封 装 的 ， 而 且 是 完 全 隔 离 的 ， 也 就 是 说 在 E V M 中 运 行 代 码 是 无 法 访 问 网 络 ， 文 件 系 统 和 其 他 进 程 的 ， 甚 至 智 能 合 约 之 间 的 访 问 也 是 受 限 的 。 E V M 主 要 用 于 执 行 交 易 代 码 ， 这 是 以 太 坊 与 其 他 系 统 的 核 心 区 别 。 E V M 是 图 灵 完 备 的 ， 由 于 以 太 坊 系 统 中 引 入 了 g a s 的 概 念 ， 所 以 原 则 上 ， 在 E V M 中 可 执 行 的 计 算 总 量 受 g a s 总 量 限 制 。 E V M 采 用 了 基 于 栈 （ s t a c k ） 的 架 构 ， 也 就 是 后 进 先 出 （ L I F O ） 的 方 式 。 E V M 有 如 下 特 殊 设 计 ： 有 如 下 特 殊 设 计 ： 1 、 区 分 临 时 存 储 （ M e m o r y ， 存 在 于 V M 的 每 个 实 例 中 ， 并 在 V M 执 行 结 束 后 消 失 ） 和 永 久 存 储 （ S t o r a g e ， 存 在 于 区 块 链 状 态 层 ） 2 、 采 用 基 于 栈 （ s t a c k ） 的 架 构 3 、 单 词 （ w o r d ） 大 小 为 3 2 字 节 4 、 使 用 了 可 变 、 可 扩 展 的 内 存 大 小 5 、 栈 大 小 没 有 限 制 6 、 1 0 2 4 调 用 深 度 限 制 7 、 没 有 类 型 的 概 念
功 能 介 绍 功 能 介 绍 1 、 根 据 实 际 代 码 生 成 定 制 化 输 入 ； 2 、 可 选 的 覆 盖 范 围 指 引 ， 以 便 发 现 隐 藏 在 更 深 层 的 错 误 ； 3 、 自 动 最 小 化 测 试 用 例 ， 以 便 实 现 快 速 分 类 ； 4 、 与 发 开 工 作 流 无 缝 集 成 ； 5 、 运 行 速 度 快 ， 效 率 高 ； 6 、 强 大 的 高 级 A P I 支 持 ； 7 、 L o g o 好 看 工 具 安 装 工 具 安 装 如 果 你 需 要 在 L i n u x 设 备 上 使 用 E c h i d n a ， 我 们 提 供 了 项 目 的 静 态 链 接 代 码 v 1 . 1 . 0 . 0 ： 【 h t t p s : / / g i t h u b . c o m / c r y t i c / e c h i d n a / r e l e a s e s / t a g / 1 . 1 . 0 . 0 】 。 当 然 了 ， 用 户 也 可 以 自 行 下 载 最 新 版 本 的 E c h i d n a ， 我 们 建 议 大 家 使 用 D o c k e r ： 使 用 样 例 ： 使 用 样 例 ： 工 具 使 用 工 具 使 用 $ d o c k e r   b u i l d   - t   e c h i d n a   . $ d o c k e r   r u n   - t   - v   ` p w d ` : / s r c   e c h i d n a   e c h i d n a - t e s t / s r c / e x a m p l e s / s o l i d i t y / b a s i c / f l a g s . s o l
执 行 测 试 任 务 执 行 测 试 任 务 E c h i d n a 的 核 心 功 能 通 过 一 个 名 叫 e c h i d n a - t e s t 的 可 执 行 文 件 实 现 ， e c h i d n a - t e s t 接 受 一 份 智 能 合 约 和 一 份 固 定 属 性 值 列 表 作 为 输 入 数 据 。 对 于 每 一 个 固 定 值 ， 它 将 生 成 一 套 针 对 智 能 合 约 的 随 机 调 用 序 列 ， 并 检 查 固 定 值 是 否 保 持 不 变 。 如 果 它 能 够 找 到 某 种 方 法 来 伪 造 出 固 定 值 ， 它 就 会 打 印 出 整 个 过 程 的 调 用 序 列 。 如 果 不 能 找 到 ， 则 判 断 为 该 智 能 合 约 是 安 全 的 。 编 写 固 定 值 编 写 固 定 值 固 定 值 的 参 数 名 以 e c h i d n a _ 开 头 ， 并 且 返 回 的 是 带 有 布 尔 值 的 S o l i d i t y 函 数 。 比 如 说 ， 你 想 要 某 个 余 额 变 量 永 远 不 低 于 2 0 ， 那 你 就 可 以 在 智 能 合 约 中 编 写 一 个 额 外 的 函 数 ， 具 体 如 下 所 示 ： 运 行 下 列 命 令 ， 检 测 该 固 定 值 ： 如 需 测 试 样 本 合 约 ， 请 单 击 【 这 里 】 。 运 行 下 列 命 令 即 可 使 用 样 本 合 约 ： E c h i d n a 还 可 以 找 出 一 个 调 用 序 列 ， 并 让 e c h i d n a _ s o m e t i m e s f a l s e 的 值 为 F a l s e 。 T r u f f l e 整 合 整 合 E c h i d n a 还 可 以 使 用 c r y t i c - c o m i l e 并 结 合 T r u f f l e 来 对 智 能 合 约 进 行 测 试 。 比 如 说 ， 我 们 可 以 使 用 下 列 方 式 来 进 行 测 试 ： * 本 文 作 者 ： 本 文 作 者 ： A l p h a _ h 4 c k ， 转 载 须 注 明 来 自 ， 转 载 须 注 明 来 自 F r e e B u f . C O M 精 彩 推 荐 精 彩 推 荐 f u n c t i o n   e c h i d n a _ c h e c k _ b a l a n c e ( )   {           r e t u r n ( b a l a n c e   > =   2 0 ) ;   } $ e c h i d n a   - t e s t   m y C o n t r a c t . s o l $ e c h i d n a   - t e s t   e x a m p l e s / s o l i d i t y / b a s i c / f l a g s . s o l $   c d   e x a m p l e s / s o l i d i t y / t r u f f l e / m e t a c o i n $ e c h i d n a - t e s t   .   T E S T . . . e c h i d n a _ c o n v e r t : f a i l e d !

阅 读 原 文
回复

举报

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

本版积分规则

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

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