Slither Audit

Name: Slither Audit
Author: crytic

by cryticSecurity9,506 downloads

clawhub install crytic/slither-audit

github.comAdded 5d ago

What it does

Analyze Solidity smart contracts with Slither's static analysis framework to detect security vulnerabilities.

Any EVM chain (Solidity analysis)

Python 3.8+, Solidity compiler

Write and run Solidity-native smart contract tests with Foundry's blazing-fast test runner.

testing

13,745

Monitor, manage, and automate smart contract operations with OpenZeppelin Defender.

Detect smart contract vulnerabilities using Mythril's symbolic execution and SMT solving.

Formally verify smart contract properties using Certora's automated verification engine.