slither
Static analysis framework that runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to easily write custom analyses.
Github:
- 6836831631642018
Workflow integration:
- cli
https://github.com/trailofbits/slither
GNU Affero General Public License v3.0
Maintained