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!

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

Browse other questions tagged or ask your own question.