Run contract code through analysis tools

[cuongdo]

As a starting point, it might be good to look at the tools from Trail of Bits. There are a lot of good ideas in there.

Let me know if you want to divide and conquer, @tyleryasaka.

[tyleryasaka]

@cuongdo Let's do it ⚔️