介绍 手动审查 Solidity 代码既缓慢又容易出错。一个被忽略的函数可能隐藏着代价高昂的漏洞。Wake 的打印机系统可以自动搜索这些有风险的模式，将数小时的手动审查变成快速、可靠的扫描。 Wake 打印机结合了 Python 的简洁...
介绍 模糊测试对于安全的智能合约测试至关重要，但也面临着挑战。测试执行通常很慢，而分析失败可能需要更多的时间和精力。 Shrinking（缩减）解决了这个问题。当模糊测试在有状态测试期间发现错误时，缩减算法会最小化重现该错误所需的操作序...
区块链技术网
