Slither

Slither is a static analysis tool for Solidity smart contracts. It analyzes code without executing it, identifying potential vulnerabilities, bugs, and code inefficiencies. It helps developers find issues like reentrancy, gas optimization opportunities, and compliance with coding standards before deploying their contracts.

Visit the following resources to learn more:

• @opensource@Slither, the Solidity source analyzer
• @article@Slither Framework
• @video@Cyfrin Updraft | Slither Walkthrough