Auditing Tools

• Echidna property-based fuzz tester

• Mythril dynamic analysis tool for EVM bytecode

• Slither static analysis tool

• Etheno integration tool and differential tester

• Manticore symbolic analyzer and formal contract verifier