At present, the safety incidents of Ethereum smart contracts are frequent. From The DAO incident to the recent Fomo3D prize pool being stolen, the destructive power of each security issue is huge. How to properly guard against the security loopholes of smart contracts has become a top priority.

http://blogs.360.cn/post/staticAnalysis_of_smartContract.html