refer to:
https://github.com/eth-sri/securify2
注意：目前仅仅支持单文件的contract, 不支持import那种格式
安装
略
使用
Security Blockchain Audit自动化的代码审查工具securify2别用了仅支持到6
This post is licensed under
CC BY 4.0
by the author.