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

You might also enjoy