slither v0.3.1 releases: Static Analyzer for Solidity