echidna

Echidna：一款快速的智能合约模糊测试器 Echidna 是一种奇怪的生物，它以虫子为食，并且对电高度敏感（向 Jacob Stanley 致歉） 更严肃地说，Echidna 是一个 Haskell 程序，专为以太坊智能合约的模糊测试/基于属性的测试而设计。它基于合约 ABI 使用复杂的基于语法的模糊测试活动，来证伪用户定义的谓词或 Solidity 断言。我们在设计 Echidna 时充分考虑了模块化，因此可以轻松扩展以包含新的变异方式，或在特定情况下测试特定合约。 特性 针对你的实际代码生成定制化的输入 可选的语料库收集、变异和覆盖率引导，以发现更深层的漏洞 由 Slither...

gosentry

gosentry gosentry is a security-focused fork of the Go toolchain, integrating numerous features for state-of-the-art fuzzing campaigns on Go codebases. If you were using go test -fuzz before, you should use gosentry as a replacement. It comes with various fuzzing improvements and bug detectors th...

slither

Slither, the smart contract static analyzer Join the Empire Hacking Slack - Discussions and Support Slither is a Solidity & Vyper static analysis framework written in Python3. It runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to...

umberto

Umberto Umberto es una biblioteca diseñada para mutar datos estructurados genéricos p. ej., JSON, XML, X.509 y una aplicación de línea de comandos que envuelve esta funcionalidad. Puede aplicar una variedad de mutaciones, sintetizar valores totalmente nuevos y aplicar mutadores existentes p. ej.,...