SmartBugs

Mythril analyses EVM bytecode using symbolic analysis, taint analysis and control flow checking

Slither is a Solidity static analysis framework written in Python 3

CPG Contract Checker analyses potentially incomplete Solidity source code to detect vulnerabilities.

Oyente+ symbolically executes Ethereum smart contracts to find potential security vulnerabilities.

Ethainter is a smart contract security analyzer for composite vulnerabilities

Open source project for linting solidity code

Find patterns of vulnerabilities in smart contracts based on actual DeFi exploits

Securify 1.0 uses formal verification and static analysis to analyse Ethereum smart contracts

eThor is a sound static analyzer for EVM smart contracts based on HoRSt.

An analysis tool to detect honeypots in Ethereum smart contracts

Osiris is an analysis tool to detect integer bugs in Ethereum smart contracts

Conkas analyzes Ethereum smart contracts to find potential security issues

An Efficient Adaptive Fuzzer for Solidity Smart Contracts

A data dependency-aware hybrid fuzzer for Ethereum smart contracts

Pakala is a tool to search for exploitable bugs in Ethereum smart contracts.

Analysis and automatic exploitation framework for Ethereum smart contracts

Manticore is a symbolic execution tool for analysis of smart contracts and binaries.

MAIAN analysis tool for automatic detection of buggy Ethereum smart contracts

Madmax finds gas-focused vulnerabilities in Ethereum smart contracts

Oyente symbolically executes Ethereum smart contracts to find potential security vulnerabilities

Vandal is a static program analysis framework for Ethereum smart contract bytecode

SmartCheck is an extensible static analysis tool for detecting issues in Solidity smart contracts