智能合约审计很可能是你工程预算中最大的一笔支出。如果你是 Web3 领域的首席工程师或 CTO，你肯定知道其中的流程：你为顶级的安全研究人员支付高额费用，而且通常要等待数月才能获得一个名额。 但是，这种模式中隐藏着一个效率低下的问题。相当...
Recon 帮助你构建和运行不变性测试 Recon 扩展：现在有了更多的 Halmos 运行 Halmos、Echidna 和 Medusa，生成报告，并使用 Recon 扩展将损坏的测试转换为 Foundry reproducers。...
介绍 模糊测试对于安全的智能合约测试至关重要，但也面临着挑战。测试执行通常很慢，而分析失败可能需要更多的时间和精力。 Shrinking（缩减）解决了这个问题。当模糊测试在有状态测试期间发现错误时，缩减算法会最小化重现该错误所需的操作序...
高级 Foundry 作弊码系列：第 6 部分 - 使用 Forge 进行高级模糊测试 认为你的测试覆盖了极端情况？Forge 的模糊测试证明你是错的。一个参数 = 数百个随机输入。自动捕获溢出、回滚和奇怪的错误。 简介 在单行作弊...
想象一下你的合约可能面临的每一个随机调用。现在测试它们全部。不变性测试就像打了兴奋剂的fuzzing，非常适合发现你从未想过的错误。深入了解！ 简介 我们在 Part 6 中完成了对单个调用的压力测试；这最后一章将标准提高到有状态的...
区块链技术网
