security audit in solidity

一个合约审计，首先是将其编译通过，之后是看其测试覆盖率

再通过静态分析工具sliter