Static Analyzer for Solidity.
Slither is a Solidity static analysis framework written in Python 3. It runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to easily write custom analyses.
0.10.3bin/slither-formatbin/slitherbin/slither-doctorbin/slither-check-kspecbin/slither-documentationbin/slither-find-pathsbin/slither-check-upgradeabilitybin/slither-propbin/slither-interfacebin/slither-mutatebin/slither-check-ercbin/slither-similbin/slither-read-storagebin/slither-flataarch64-darwinaarch64-freebsdaarch64-linuxaarch64-windowsarmv5tel-linuxarmv6l-linuxarmv7a-darwinarmv7a-linuxarmv7l-linuxi686-cygwini686-darwini686-freebsdi686-linuxi686-windowsloongarch64-linuxm68k-linuxmicroblaze-linuxmicroblazeel-linuxmips-linuxmips64-linuxmips64el-linuxmipsel-linuxpowerpc64-linuxpowerpc64le-linuxriscv32-linuxriscv64-linuxs390-linuxs390x-linuxx86_64-cygwinx86_64-darwinx86_64-freebsdx86_64-linuxx86_64-windows