by Trail of Bits
Static analysis for Solidity smart contracts with Trail of Bits Slither for vulnerability detection and optimization.