security - blockchain - audit 自动化的代码审查工具:securify2 别用了，仅支持到6.0
访问量: 38
refer to:
https://github.com/eth-sri/securify2
注意：目前仅仅支持单文件的contract, 不支持import那种格式
安装
略
使用
访问量: 38
refer to:
https://github.com/eth-sri/securify2
注意：目前仅仅支持单文件的contract, 不支持import那种格式
安装
略
使用