分享百科

断言

Echidna 教程：#2 使用断言测试模式的模糊测试

本教程介绍了如何使用Echidna进行智能合约的模糊测试和断言测试，详细说明了Incrementor合约及其修改版本EchidnaIncrementorAssert的实现。文章深入探讨了断言的使用、事件的处理以及模糊测试如何帮助发现潜在漏洞，以确保区块链应用的完整性。
Echidna  智能合约  模糊测试  断言  区块链  漏洞检测 
  • bloqarl
  • 发布于 2024-01-11
  • 阅读 ( 459 )

Foundry高级作弊码系列：第三部分 - 断言作弊码

in  Foundry 高级作弊码系列

本文是Foundry cheatcodes系列文章的第三部分，主要介绍了 Foundry 中的断言作弊码，包括 vm.expectRevert（用于测试必须抛出的情况）、vm.expectEmit（用于验证事件和topic）和 vm.expectCall（用于断言外部交互）。
Foundry  cheatcodes  智能合约  测试  断言  vm.expectRevert  vm.expectEmit  vm.expectCall 
登链社区