搜索

[15952] 2020-10-11_Nautilus：一款基于语法的反馈式模糊测试工具

文档创建者：s7ckTeam
浏览次数：6
最后更新：2025-01-18
2020-10-11_Nautilus：一款基于语法的反馈式模糊测试工具 N a u t i l u s ： 一 款 基 于 语 法 的 反 馈 式 模 糊 测 试 工 具 A l p h a _ h 4 c k   F r e e B u f   2 0 2 0 - 1 0 - 1 1 N a u t i l u s 介 绍 介 绍 N a u t i l u s 是 一 款 基 于 覆 盖 指 引 和 语 法 的 反 馈 式 模 糊 测 试 工 具 ， 广 大 研 究 人 员 可 以 使 用 N a u t i l u s 来 提 升 模 糊 测 试 过 程 中 的 测 试 覆 盖 率 ， 以 寻 找 到 更 多 的 安 全 漏 洞 。 在 N a u t i l u s 的 帮 助 下 ， 研 究 人 员 可 以 通 过 指 定 半 有 效 的 输 入 语 法 ， 来 执 行 更 加 复 杂 的 变 异 操 作 ， 并 生 成 更 多 有 效 的 测 试 用 例 。 目 前 ， N a u t i l u s 已 发 布 了 2 . 0 版 本 ， 该 版 本 相 较 于 N a u t i l u s 原 型 ， 引 入 了 很 多 功 能 性 提 升 ， 目 前 该 工 具 已 经 1 0 0 % 支 持 A F L + + 了 。 除 了 稳 定 性 和 可 用 性 提 升 之 外 ， 还 包 括 下 列 功 能 提 升 ： 支 持 A F L - Q e m u 模 式 支 持 P y t h o n 格 式 语 法 支 持 使 用 P y t h o n 脚 本 生 成 结 构 化 输 入 支 持 指 定 源 码 协 议 / 格 式 支 持 指 定 正 则 表 达 式 避 免 生 成 相 似 的 短 输 入 提 供 了 更 好 的 错 误 输 出 修 复 大 量 B u g N a u t i l u s 工 作 机 制 工 作 机 制 我 们 可 以 使 用 类 似 E X P R   - >   E X P R   +   E X P R 、 E X P R   - >   N U M 和 N U M   - >   1 这 样 的 规 则 来 指 定 一 个 语 法 。 针 对 这 些 规
则 ， 模 糊 测 试 器 将 构 建 一 个 树 状 结 构 ， 这 种 内 部 语 法 表 达 允 许 支 持 更 加 复 杂 的 变 异 操 作 。 接 下 来 ， 这 个 树 状 结 构 将 会 转 变 为 针 对 目 标 应 用 程 序 的 真 实 输 入 ， 即 拼 接 所 有 的 叶 子 节 点 。 在 下 方 给 出 的 示 例 中 ， 左 子 树 将 会 被 解 析 为 “ a = 1 + 2 ” ， 右 子 树 则 为 “ a = 1 + 1 + 1 + 2 ” 。 为 了 提 高 语 法 的 表 达 能 力 ， N a u t i l u s 还 可 以 允 许 广 大 研 究 人 员 使 用 P y t h o n 脚 本 来 实 现 对 树 状 结 构 的 解 析 ， 以 支 持 更 加 复 杂 的 操 作 。 工 具 安 装 工 具 安 装 & 配 置 配 置 首 先 ， 广 大 用 户 需 要 使 用 下 列 命 令 将 该 项 目 源 码 克 隆 至 本 地 ， 并 进 行 基 础 配 置 ： 接 下 来 ， 我 们 需 要 在 c o n f i g . r o n 文 件 中 设 置 好 所 有 需 要 使 用 的 参 数 ： 如 果 想 要 使 用 Q E M U 模 式 的 话 ， 可 以 运 行 下 列 命 令 ： 工 具 使 用 样 例 工 具 使 用 样 例 在 这 里 ， 我 们 可 以 使 用 P y t h o n 来 生 成 一 个 语 法 ， 并 生 成 一 个 有 效 的 类 X M L 输 入 。 需 要 注 意 的 是 ， P y t h o n 脚 本 的 语 法 规 则 ， 这 里 必 须 确 保 匹 配 起 始 标 签 ： g i t   c l o n e   ' g i t @ g i t h u b . c o m : n a u t i l u s - f u z z / n a u t i l u s . g i t ' c d   n a u t i l u s / p a t h / t o / A F L p l u s p l u s / a f l - c l a n g - f a s t   t e s t . c   - o   t e s t   # a f l - c l a n g - f a s t   a s   p r o v i d e d   b y   A F L c a r g o   r u n   - - r e l e a s e   - -   - g   g r a m m a r s / g r a m m a r _ p y _ e x a m p l e . p y   - o   / t m p / w o r k d i r   - -   . / t e s t   @ @ c a r g o   r u n   / p a t h / t o / A F L p l u s p l u s / a f l - q e m u - t r a c e   - -   . / t e s t _ b i n   @ @
接 下 来 ， 我 们 可 以 使 用 模 糊 测 试 用 例 生 成 器 来 测 试 我 们 刚 才 生 成 的 语 法 ： 除 此 之 外 ， 我 们 还 可 以 结 合 A F L 来 使 用 N a u t i l u s 。 使 用 “ - o ” 参 数 来 指 向 A F L 到 同 一 工 作 目 录 ， 而 A F L 则 会 将 数 据 跟 N a u t i l u s 同 步 。 在 这 里 ， A F L 将 导 入 N a u t i l u s 的 输 入 ： 项 目 地 址 项 目 地 址 N a u t i l u s ： 【 G i t H u b 传 送 门 】 （ 阅 读 原 文 查 看 ） （ 阅 读 原 文 查 看 ） 参 考 资 料 参 考 资 料 h t t p s : / / g i t h u b . c o m / M i c r o s o f t / C h a k r a C o r e / i s s u e s / 5 5 0 3 h t t p s : / / g i t h u b . c o m / m r u b y / m r u b y / i s s u e s / 3 9 9 5 ( C V E - 2 0 1 8 - 1 0 1 9 1 ) h t t p s : / / g i t h u b . c o m / m r u b y / m r u b y / i s s u e s / 4 0 0 1 ( C V E - 2 0 1 8 - 1 0 1 9 9 ) h t t p s : / / g i t h u b . c o m / m r u b y / m r u b y / i s s u e s / 4 0 3 8 ( C V E - 2 0 1 8 - 1 2 2 4 8 ) h t t p s : / / g i t h u b . c o m / m r u b y / m r u b y / i s s u e s / 4 0 2 7 ( C V E - 2 0 1 8 - 1 1 7 4 3 ) # c t x . r u l e ( N O N T E R M :   s t r i n g ,   R H S :   s t r i n g | b y t e s )   a d d s   a   r u l e   N O N T E R M - > R H S .   W e   c a n   u s e   { N O N T E R M }   i n   t h e   R H S   t o   r e q u e s t   a   r e c u r s i o n . c t x . r u l e ( " S T A R T " , " < d o c u m e n t > { X M L _ C O N T E N T } < / d o c u m e n t > " ) c t x . r u l e ( " X M L _ C O N T E N T " , " { X M L } { X M L _ C O N T E N T } " ) c t x . r u l e ( " X M L _ C O N T E N T " , " " ) # c t x . s c r i p t ( N O N T E R M : s t r i n g ,   R H S :   [ s t r i n g ] ] ,   f u n c )   a d d s   a   r u l e   N O N T E R M - > f u n c ( * R H S ) . #   I n   c o n t r a s t   t o   n o r m a l   ` r u l e ` ,   R H S   i s   a n   a r r a y   o f   n o n t e r m i n a l s . #   I t ' s   u p   t o   t h e   f u n c t i o n   t o   c o m b i n e   t h e   v a l u e s   r e t u r n e d   f o r   t h e   N O N T E R M I N A L S   w i t h   a n y   f i x e d   c o n t e n t   u s e d . c t x . s c r i p t ( " X M L " , [ " T A G " , " A T T R " , " X M L _ C O N T E N T " ] ,   l a m b d a   t a g , a t t r , b o d y :   b " < % s   % s > % s < / % s > " % ( t a g , a t t r , b o d y , t a g )   ) c t x . r u l e ( " A T T R " , " f o o = b a r " ) c t x . r u l e ( " T A G " , " s o m e _ t a g " ) c t x . r u l e ( " T A G " , " o t h e r _ t a g " ) # s o m e t i m e s   w e   d o n ' t   w a n t   t o   e x p l o r e   t h e   s e t   o f   p o s s i b l e   i n p u t s   i n   m o r e   d e t a i l .   F o r   e x a m p l e ,   i f   w e   f u z z   a   s c r i p t # i n t e r p r e t e r ,   w e   d o n ' t   w a n t   t o   s p e n d   t i m e   o n   f u z z i n g   a l l   d i f f e r e n t   v a r i a b l e   n a m e s .   I n   s u c h   c a s e s   w e   c a n   u s e   R e g e x # t e r m i n a l s .   R e g e x   t e r m i n a l s   a r e   o n l y   m u t a t e d   d u r i n g   g e n e r a t i o n ,   b u t   n o t   d u r i n g   n o r m a l   m u t a t i o n   s t a g e s ,   s a v i n g   a   l o t   o f   t i m e . # T h e   f u z z e r   s t i l l   e x p l o r e s   d i f f e r e n t   v a l u e s   f o r   t h e   r e g e x ,   b u t   i t   w o n ' t   b e   a b l e   t o   l e a r n   i n t e r e s t i n g   v a l u e s   i n c r e m e n t a l l y . # U s e   t h i s   w h e n   i n c r e m a n t a l   e x p l o r a t i o n   w o u l d   m o s t   l i k e l y   w a s t e   t i m e . c t x . r e g e x ( " T A G " , " [ a - z ] + " ) $   c a r g o   r u n   - - b i n   g e n e r a t o r   - -   - g   g r a m m a r s / g r a m m a r _ p y _ e x m a p l e . p y   - t   1 0 0 < d o c u m e n t > < s o m e _ t a g   f o o = b a r > < o t h e r _ t a g   f o o = b a r > < o t h e r _ t a g   f o o = b a r > < s o m e _ t a g   f o o = b a r > < / s o m e _ t a g > < / o t h e r _ t a g > < s o m e _ t a g   f o o = b a r > < o t h e r _ t a g   f o o = b a r > < / o t h e r _ t a g > < / s o m e _ t a g > < o t h e r _ t a g   f o o = b a r > < / o t h e r _ t a g > < s o m e _ t a g   f o o = b a r > < / s o m e _ t a g > < / o t h e r _ t a g > < o t h e r _ t a g   f o o = b a r > < / o t h e r _ t a g > < s o m e _ t a g   f o o = b a r > < / s o m e _ t a g > < / s o m e _ t a g > < / d o c u m e n t > # T e r m i n a l / S c r e e n   1 . / a f l - f u z z   - S a f l   - i   / t m p / s e e d s   - o   / t m p / w o r k d i r /   . / t e s t   @ @ # T e r m i n a l / S c r e e n   2 c a r g o   r u n   - - r e l e a s e   - -   - o   / t m p / w o r k d i r   - -   . / t e s t   @ @
h t t p s : / / g i t h u b . c o m / m r u b y / m r u b y / i s s u e s / 4 0 3 6 ( C V E - 2 0 1 8 - 1 2 2 4 7 ) h t t p s : / / g i t h u b . c o m / m r u b y / m r u b y / i s s u e s / 4 0 3 7 ( C V E - 2 0 1 8 - 1 2 2 4 9 ) h t t p s : / / b u g s . p h p . n e t / b u g . p h p ? i d = 7 6 4 1 0 h t t p s : / / b u g s . p h p . n e t / b u g . p h p ? i d = 7 6 2 4 4 精 彩 推 荐 精 彩 推 荐
阅 读 原 文
回复

举报

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

本版积分规则

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

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