GitHub - crytic/slither: Static Analyzer for Solidity and Vyper

Static Analyzer for Solidity and Vyper. Contribute to crytic/slither development by creating an account on GitHub.

solidity · GitHub Topics · GitHub

Slither: Smart Contract security tools

Slither – a Solidity static analysis framework

vyper · GitHub Topics · GitHub

solidity · GitHub Topics · GitHub

A Comprehensive List Of Ethereum Tools, and Frameworks

MPro: Combining Static and Symbolic Analysis for Scalable Testing

SmartGraph: Static Analysis Tool for Solidity Smart Contracts

SmartGraph: Static Analysis Tool for Solidity Smart Contracts

Detecting functional and security‐related issues in smart

Slither: Smart Contract security tools