第4课 - 使用Trident II进行模糊测试

课程 4 - 使用 Trident II 进行模糊测试

[!IMPORTANT] 有关 Trident 的更多详细信息，请查看 Trident 文档 Trident docs

[!IMPORTANT] 查看使用 Trident 进行模糊测试的第一部分，以获得更好的模糊测试简介 Fuzzing with Trident I

目录

• 不变性检查
• 指令序列
• 自定义错误处理程序
• 良好结构的数据
• 客户端方法
• Trident 清单

[!IMPORTANT] 有关在 Fuzz 测试中实现的所有以下功能，请查看 trident-lesson-part-ii

不变性检查

Trident 提供定义不变性检查的能力，这使得检查在相应的指令中账户是如何更新的以及更新是否如预期那样进行成为可能。

指令序列

Trident 允许你指定期望的指令序列。你可以指定

1. 在模糊测试迭代开始时、中间或结束时执行的期望指令。
2. 你希望 Fuzzer 在每次模糊测试迭代中执行的整个指令序列。

自定义错误处理程序

在指令失败的情况下，Trident 允许你实现自定义错误处理程序，以检查（和比较）指令序列，甚至交叉定义在发生特定错误时的行为。

良好结构的数据

通过使用 Arbitrary crate，Trident 允许你为由底层模糊测试引擎生成的随机数据提供更好的结构。在这种情况下，指令参数可以与某些依赖关系良好结构化，而不是完全随机和独立的指令输入。

客户端方法

Trident 指定多种与测试环境通信的方法。为此，可以手动设置完全自定义的账户，而不是调用特定的初始化指令。

Trident 清单

Trident 的初始化还会生成 Trident.toml。该文件中指定的参数可用于增强模糊测试体验。

• 原文链接： github.com/Ackee-Blockch...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～