slither

pessimistic-io/slitherin356

Contract auditor

Automated code audit tools for Ethereum smart contracts

crytic/tealer62

Contract Analyzer

A static analyzer tool for identifying vulnerabilities in smart contract code written in Teal

eth-sri/securify2589

Contract analyzer

An automated security scanner for Ethereum smart contracts

raineorshine/solgraph1K

Smart contract analyzer

A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity

nascentxyz/pyrometer682

Contract Analyzer

Analyzes security and parameters of Solidity smart contracts using symbolic execution, abstract interpretation, and static analysis

crytic/rattle353

EVM analyzer

An EVM binary static analysis framework that recovers the original control flow graph and optimizes it for better readability

crytic/caracal136

Contract analyzer

A tool for analyzing Starknet smart contracts written in Cairo for potential vulnerabilities and security issues

meherett/pytest-solidity27

Contract tester

Tests smart contracts written in Solidity on the Ethereum blockchain

python-security/pyt2.2K

Security analyzer

A tool that analyzes Python web applications for potential security vulnerabilities

vulnplanet/l3x63

Code vulnerability detector

An AI-driven tool for detecting vulnerabilities in code written in Rust and Solidity.

mtshiba/pylyzer2.6K

Code Analyzer

A fast and feature-rich static code analyzer and language server for Python

microsoft/pyright13.6K

Type Checker

A static type checker for the Python programming language

merklejerk/solpp112

Contract preprocessor

A preprocessor and flattener for Ethereum's Solidity source files

swisskyrepo/vulny-code-static-analysis397

Vulnerability scanner

A script to detect vulnerabilities in PHP source code using static analysis and regular expressions.

msuiche/porosity927

Smart contract analyzer

A tool for analyzing and decomposing Ethereum smart-contract bytecode into readable Solidity syntax