The "Etheno" project helps you integrate analysis tools such as Manticore and Echidna in large, multi-contract projects.
Its features include:
- JSON RPC Multiplexing
- Analysis Tool Wrapping
- Test Framework Integration
- Trail of Bits
The "Etheno" project helps you integrate analysis tools such as Manticore and Echidna in large, multi-contract projects.
Its features include: