slither
Contract analyzer
Analyzes smart contract code for vulnerabilities and provides detailed information about contracts.
Static Analyzer for Solidity and Vyper
5k stars
70 watching
980 forks
Language: Python
last commit: 2 months ago
Linked from 6 awesome lists
ethereumsoliditystatic-analysisvyper
offciercia/defi-developer-road-map
bkrem/awesome-solidity
saeidshirazi/awesome-smart-contract-security
ahmet/awesome-web3Related projects:
| Repository | Description | Stars |
|---|---|---|
 pessimistic-io/slitherin | Automated code audit tools for Ethereum smart contracts | 356 |
| crytic/tealer | A static analyzer tool for identifying vulnerabilities in smart contract code written in Teal | 62 |
 eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 589 |
 raineorshine/solgraph | A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity | 1,019 |
 nascentxyz/pyrometer | Analyzes security and parameters of Solidity smart contracts using symbolic execution, abstract interpretation, and static analysis | 682 |
| crytic/rattle | An EVM binary static analysis framework that recovers the original control flow graph and optimizes it for better readability | 353 |
| crytic/caracal | A tool for analyzing Starknet smart contracts written in Cairo for potential vulnerabilities and security issues | 136 |
 meherett/pytest-solidity | Tests smart contracts written in Solidity on the Ethereum blockchain | 27 |
 python-security/pyt | A tool that analyzes Python web applications for potential security vulnerabilities | 2,181 |
 vulnplanet/l3x | An AI-driven tool for detecting vulnerabilities in code written in Rust and Solidity. | 63 |
 mtshiba/pylyzer | A fast and feature-rich static code analyzer and language server for Python | 2,550 |
 microsoft/pyright | A static type checker for the Python programming language | 13,573 |
 merklejerk/solpp | A preprocessor and flattener for Ethereum's Solidity source files | 112 |
 swisskyrepo/vulny-code-static-analysis | A script to detect vulnerabilities in PHP source code using static analysis and regular expressions. | 397 |
 msuiche/porosity | A tool for analyzing and decomposing Ethereum smart-contract bytecode into readable Solidity syntax | 927 |