Slither
Slither is a security framework for contracts developed in Python, initially proposed in a paper from 2019 by Josselin Feist, Gustavo Grieco, and Alex Groce. The Slither framework offers automated identification of vulnerabilities and optimizations, along with supportive codebase summaries to enhance developer understanding. Created by Crytic, the blockchain security division of Trail of Bits, Slither is compatible with Hardhat and Truffle, and functions with Solidity code from version 0.4 and later.
