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!