A-Z List Smart Contract Auditing & Security Tools

The following is a list of some common tools used in auditing, methods, security, analysis and monitoring Ethereum ecosystem and EVM based chains.

A => Aragraph, Armana, Awesome Buggy ERC20 Tokens, abi-decompiler, abi-decoder, Adelaide,

B => BlockScout, Blocknative, Best Practises,

C => Contractfuzzer, Crytic, Contract Library, Certora Prover, ContractLarva,

D => Defender, dapp.tools, decode, DeFi Safety, Dilligence,

E => Echidna, EVM Lab, Ethereum Graph Debugger, evmdis, ETK(EVM ToolKit), Etheno, Ethersplay, Etherscan, EthIR, ethereum-dasm, EVM-connector, ethereum-watcher, Erays, Ethereum Transaction Decoder

F => Forta, Foundry, FSolidM,

G => Gigahorse, Geth

H =>Harvey, Hardhat, hevm, Hydra,

I => IDA-EVM, IVSCS Immenufi Vulnerability Security Classification System,

J =>

K => Karl, KEVM,

L => Legions,

M => Mythril, Manticore, MadMax, MythX

N => Notify API (Alchemy)

0 => Oyente, Octopus, Osiris,

P => Piet, pyevmasm, Porosity,

Q => Quillplay, QuillMonitor, QuillRelay,

R => RemixIDE, Rattle, Reguard, Rekt.news,

S => Slither, Securify, SmartCheck, sFuzz, SonarSolidity, SmartAnvil, SolGraph, Surya, Solidity Visual Auditor, Solidity Coverage, SWC Registry, Scribble, Solcheck, Solint, Solium, Solhint, seth, Sabre, Scout, Smart Bugs,

T => Truffle, Theo, Tenderly,

U =>

V => VerX, Vertigo, Vandal,

W => Waffle, why3,

X =>

Y => Yakindu Solidity Tools

Z => Zeus,

ARE YOU A PROJECT IN NEED OF AN AUDIT?

If you are a project in need of smart contract security audit services from an expert security-focused company passionate about blockchain, with extensive knowledge, reputation in evaluating, testing, consulting, diligence, pen testing, and auditing projects on Ethereum, Binance Smart Chain, Polygon, Solana fill in the form here.