Slither is a Python-based static analysis framework for Solidity and Vyper smart contracts, designed...