slither

用Python 3编写的Solidity静态分析框架。