slither v0.6.4 releases: Static Analyzer for Solidity