http://www.kitploit.com/2018/10/slither-static-analyzer-for-solidity.html