全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

Foundry 高级作弊码系列：第 7 部分 - Foundry 中的不变性测试

in  Foundry 高级作弊码系列
本文介绍了 Foundry 中的不变性测试（Invariant Testing），它是一种强大的模糊测试方法，通过定义必须始终成立的规则，让 Foundry 尝试通过随机调用序列来打破合约，从而发现潜在的错误。文章解释了不变性测试的原理、关键参数、测试结构、常见模式和一些注意事项，并提供了一个实际的例子。
Foundry  不变性测试  模糊测试  智能合约  Solidity  测试 

智能合约中的“隐形杀手”：被忽略的函数返回值

想象一个场景：智能合约调用了一个外部合约的函数（比如执行一次ERC20代币转账），然后心满意足地更新了自己的内部状态，记录下“转账已成功”。但如果，这笔转账因为某些原因在底层失败了，而您的合约却对此一无所知，会发生什么？这就是“未检查的返回值”（UncheckedReturnValues）
合约交互 
  • zero
  • 发布于 1天前
  • 阅读 ( 241 )
  • ( 6 )