This question already has an answer here:

There is a question (Security analysis tool for Ethereum smart contracts) similar to me, but it presents mostly static analysis tools. I'd like to know if there is any better dynamical analysis tool suitable my application. Concretely, i wonder if there is any tool can be used to generate path constrains from entry point to exploit point and the exploit point is known. Or is there any open project worth learning? Please give some suggestions, thanks!

marked as duplicate by eth Mar 1 at 8:45

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • Welcome to the Ethereum Stack Exchange! This is likely a duplicate. – eth Mar 1 at 8:44
  • Have you checked Oyente, Manticore, Mythril Classic? – Honor LT Mar 17 at 12:46
  • @Honor LT I have explored Oyente, it's a static analysis tool – Jocelyn Mar 19 at 4:52

Browse other questions tagged or ask your own question.