Awesome-Smart-Contract-Security

IEEE Transactions on Information Forensics and Security

Computer & Security

IET Information Security

ACM Transactions on Information and System Security

International Journal of Information Security

Security and Communication Networks

IEEE Security & Privacy

IEEE Transactions on Dependable and Secure Computing

Security and Communication Networks

Computer Fraud & Security

ethereum-graph-debugger

A graphical EVM debugger. Displays the entire program control flow graph

Slither

Slither can map method visibility and modifiers, state variables that are read and written, calls, and can print the inheritance graph of a smart contract

Solgraph

Generates DOT graphs with function control flow of a solidity contract

Surya

Generates various visual outputs of function call graphs

sol-function-profiler

Solidity contract function profiler

KEVM

K Semantics of the Ethereum Virtual Machine (EVM)

Manticore

Symbolic execution tool for EVM

Browser-based Solidity IDE with linting features

A linter for Solidity and Vyper that checks code for security issues and bad practices

Solhint

Linter for both security and style-guide validations. It strictly adheres to the

Solium

Linter for both security and style-guide validations. Does not strictly adhere to the Solidity Style Guide

Web3 Decoder

Web3 Decoder is a Burp Suite Extension that helps to analyze what is going on with the operations involving smart contracts of the web3

Echidna

Fuzzer for Ethereum smart contracts. Uses property testing to generate malicious inputs that break smart contracts

Manticore

Symbolic execution tool for Ethereum smart contracts that includes detectors for common security flaws

Mythril OSS

Open-source security analysis tool for Ethereum smart contracts built around detector modules

Securify v2.0

Static analysis tool from ChainSecurity

Slither

Static analysis framework, written in Python, with detectors for many common Solidity issues

Octopus

: Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

L3X

AI-driven Smart Contract Static Analyzer

abi-decompiler

EVM reverse engineering helper utility

ethereum-dasm

EVM disassembler with static and dynamic analysis abilities, including function signature lookup

Ethersplay

Visual disassembler for EVM bytecode built on Binary Ninja

evmlab

Utilities for interacting with the Ethereum virtual machine

IDA-EVM

IDA plugin to view EVM instructions

Panoramix

Ethereum decompiler

pyevmasm

EVM assembler and disassembler with a CLI and a Python API

Rattle

EVM binary static analysis framework. Produces SSA representations of EVM code

Convert Solidity bytes32 to utf8 string or integers and vice versa

Online Solidity ABI Encoder to encode smart contract arguments, and also perform read and write operations on the blockchain

Online tool to convert the different ethereum denominations (wei, gwei, ether)