搜索

[13431] 2018-11-18_Slither：第一款针对Solidity的静态分析框架

文档创建者：s7ckTeam
浏览次数：43
最后更新：2025-01-18
2018-11-18_Slither：第一款针对Solidity的静态分析框架 S l i t h e r ： 第 一 款 针 对 S o l i d i t y 的 静 态 分 析 框 架 A l p h a _ h 4 c k   F r e e B u f   2 0 1 8 - 1 1 - 1 8 S l i t h e r 是 第 一 个 开 源 的 针 对 是 第 一 个 开 源 的 针 对 S o l i d i t y 语 言 的 静 态 分 析 框 架 。 语 言 的 静 态 分 析 框 架 。 S l i t h e r 速 度 非 常 快 ， 准 确 性 也 非 常 高 ， 它 能 够 在 不 需 速 度 非 常 快 ， 准 确 性 也 非 常 高 ， 它 能 够 在 不 需 要 用 户 交 互 的 情 况 下 ， 在 几 秒 钟 之 内 找 到 真 正 的 漏 洞 。 该 工 具 高 度 可 配 置 ， 并 且 提 供 了 多 种 要 用 户 交 互 的 情 况 下 ， 在 几 秒 钟 之 内 找 到 真 正 的 漏 洞 。 该 工 具 高 度 可 配 置 ， 并 且 提 供 了 多 种 A P I 来 帮 助 研 究 人 来 帮 助 研 究 人 员 审 计 和 分 析 员 审 计 和 分 析 S o l i d i t y 代 码 。 代 码 。 目 前 ， 我 们 开 源 了 S l i t h e r 的 核 心 分 析 引 擎 ， 这 个 核 心 提 供 了 很 多 高 级 静 态 分 析 功 能 。 除 此 之 外 ， 我 们 还 构 建 了 很 多 检 测 工 具 。 如 果 你 是 一 名 智 能 合 约 的 开 发 者 ， 一 名 安 全 专 家 ， 或 者 是 一 名 学 术 研 究 人 员 ， 你 肯 定 能 发 现 S l i t h e r 的 价 值 。 可 自 主 集 成 其 他 功 能 可 自 主 集 成 其 他 功 能 S l i t h e r 拥 有 简 单 的 命 令 行 接 口 ， 如 果 你 想 对 一 份 S o l i d i t y 文 件 运 行 所 有 的 检 测 工 具 ， 你 只 需 要 运 行 ： 你 可 以 在 无 需 进 行 任 何 配 置 的 情 况 下 ， 将 你 自 己 设 计 的 功 能 整 合 进 S l i t h e r ， 不 过 你 需 要 确 保 自 己 添 加 的 代 码 不 存 在 漏 洞 。 $ s l i t h e r   c o n t r a c t . s o l
自 动 化 安 全 审 计 自 动 化 安 全 审 计 S l i t h e r 提 供 了 一 个 A P I 来 给 研 究 人 员 通 过 自 定 义 脚 本 审 计 S o l i d i t y 代 码 。 我 们 可 以 使 用 S l i t h e r 做 到 ： 1 、   识 别 能 够 修 改 变 量 值 的 代 码 ； 2 、   隔 离 受 特 定 变 量 值 影 响 的 条 件 逻 辑 语 句 ； 3 、   查 找 能 够 调 用 特 定 函 数 的 其 他 函 数 ； 比 如 说 下 面 这 段 脚 本 ，   m y C o n t r a c t 的 f u n c t i o n ( s ) 函 数 会 给 状 态 变 量 m y V a r 写 入 值 ： 大 家 可 以 阅 读 一 下 【 A P I 文 档 】 和 【 样 本 代 码 】 来 初 步 了 解 S l i t h e r 。 帮 助 理 解 智 能 合 约 帮 助 理 解 智 能 合 约 S l i t h e r 预 定 义 了 一 套 “ p r i n t e r ” ， 它 们 可 以 显 示 关 于 智 能 合 约 的 高 级 信 息 ， 其 中 包 括 四 个 关 于 安 全 方 面 的 关 键 数 据 ： 合 约 摘 要 、 函 数 摘 要 、 继 承 图 和 授 权 概 述 。 1 、   合 约 摘 要 p r i n t e r 这 个 p r i n t e r 可 以 快 速 显 示 合 约 的 大 致 信 息 ， 并 显 示 函 数 和 对 应 的 可 见 度 ： 2 、   函 数 摘 要 p r i n t e r 显 示 关 于 每 个 函 数 的 信 息 ， 例 如 状 态 变 量 、 读 写 操 作 和 函 数 调 用 信 息 ： 3 、   继 承 图 p r i n t e r 以 图 表 的 形 式 输 出 所 有 合 约 的 继 承 依 赖 关 系 ： # f u n c t i o n _ w r i t i n g . p y i m p o r t   s y s f r o m   s l i t h e r . s l i t h e r   i m p o r t   S l i t h e r   i f l e n ( s y s . a r g v )   ! =   2 : p r i n t ( ' p y t h o n . p y f u n c t i o n _ w r i t i n g . p y   f i l e . s o l ' ) e x i t ( - 1 )   # I n i t   s l i t h e r s l i t h e r =   S l i t h e r ( s y s . a r g v [ 1 ] )   #   G e t t h e   c o n t r a c t c o n t r a c t =   s l i t h e r . g e t _ c o n t r a c t _ f r o m _ n a m e ( ' m y C o n t r a c t ' )   #   G e t t h e   v a r i a b l e m y V a r =   c o n t r a c t . g e t _ s t a t e _ v a r i a b l e _ f r o m _ n a m e ( ' m y V a r ' )   #   G e t t h e   f u n c t i o n s   w r i t i n g   t h e   v a r i a b l e f u n c s _ w r i t i n g _ m y V a r =   c o n t r a c t . g e t _ f u n c t i o n s _ w r i t i n g _ t o _ v a r i a b l e ( m y V a r )   # P r i n t   t h e   r e s u l t p r i n t ( ' F u n c t i o n s t h a t   w r i t e   t o   " m y V a r " :   { } ' . f o r m a t ( [ f . n a m e   f o r   f   i n f u n c s _ w r i t i n g _ m y V a r ] ) )
4 、   授 权 p r i n t e r 显 示 用 户 对 智 能 合 约 的 操 作 权 限 ： 大 家 可 以 查 看 一 下 S l i t h e r 的 【 文 档 】 来 了 解 如 何 添 加 自 己 的 p r i n t e r 。 工 具 安 装 工 具 安 装 S l i t h e r 要 求 P y t h o n   3 . 6 + 、 s o l c 和 S o l i d i t y 编 译 器 。 使 用 p i p 安 装 ： 使 用 G i t 安 装 ： 工 具 使 用 工 具 使 用 审 计 单 一 文 件 ： $   p i p   i n s t a l l   s l i t h e r - a n a l y z e r $   g i t   c l o n e   h t t p s : / / g i t h u b . c o m / t r a i l o f b i t s / s l i t h e r . g i t   & &   c d   s l i t h e r $   p y t h o n   s e t u p . p y   i n s t a l l
如 果 目 标 是 一 个 目 录 的 话 ， 它 将 会 审 计 目 录 中 的 每 一 个 . s o l 文 件 。 项 目 地 址 项 目 地 址 G i t H u b ： h t t p s : / / g i t h u b . c o m / t r a i l o f b i t s / s l i t h e r * 参 考 来 源 ： t r a i l o f b i t s ， F B 小 编 A l p h a _ h 4 c k 编 译 ， 转 载 请 注 明 来 自 F r e e B u f . C O M 阅 读 原 文 $ s l i t h e r   t e s t s / u n i n i t i a l i z e d . s o l   #   a r g u m e n t   c a n   b e   f i l e ,   f o l d e r   o r   g l o b ,   b e   s u r e t o   q u o t e   t h e   a r g u m e n t   w h e n   u s i n g   a   g l o b [ . . ] I N F O : D e t e c t o r s : U n i n i t i a l i z e d s t a t e   v a r i a b l e s   i n   t e s t s / u n i n i t i a l i z e d . s o l ,   C o n t r a c t :   U n i n i t i a l i z e d ,   V a r s : d e s t i n a t i o n ,   U s e d   i n   [ ' t r a n s f e r ' ] [ . . ]
回复

举报

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

本版积分规则

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