A guide to smart contract security best practices

Visualize Solidity control flow for smart contract security analysis. 💵 ⇆ 💵

A set of utilities for exploring Solidity contracts

Ethereum (EVM) smart contracts reverse engineering helper utility

EVM dissassembler

Ethereum Virtual Machine (EVM) disassembler and assembler

Comprehensive list of known attack vectors and common anti-patterns

Smart Contract Security Verification Standard

A curated list of awesome Ethereum security references

Ethereum solidity graph plain debugger. To have the whole picture when debugging.

Materials related to security: docs, checklists, processes, etc...

Guidelines and training material to write secure smart contracts

MixBytes Team public security audits

Publications from Trail of Bits

evm binary static analysis

IDA Processor Module for the Ethereum Virtual Machine (EVM)

Utilities for interacting with the Ethereum virtual machine

Solidity Contract Function Profiler

Directory of security contacts for blockchain companies

A benchmark suite for evaluating the precision of EVM code analysis tools.

A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

Static Analyzer for Solidity and Vyper

Solhint is an open-source project to provide a linting utility for Solidity code.

(Formerly Solium) Code quality & Security Linter for Solidity

Ethereum smart contract fuzzer

GitHub Action to run Echidna, the Ethereum smart contract fuzzer

Example Manticore scripts

Symbolic execution tool

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.