mindcrypt/smartcontract_audits

This repository collects offensive and audit tools to assess the actual security of smart contracts and blockchain

Smartcontract_audits

This repository collects offensive and audit tools to assess the actual security of smart contracts and blockchain

Audit tools & environments

• Mythril is a security analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains - https://github.com/ConsenSys/mythril

• https://github.com/crytic/slither

• https://github.com/trailofbits/manticore

• https://github.com/crytic/echidna

• https://github.com/raineorshine/solgraph

• https://github.com/crytic/ida-evm

• https://github.com/melonproject/oyente

• https://securify.chainsecurity.com/

• https://github.com/b-mueller/sabre

• https://github.com/nevillegrech/MadMax

• https://github.com/smartdec/smartcheck

• https://github.com/usyd-blockchain/vandal

• https://github.com/nveloso/conkas

• https://github.com/nedasma/solidity-vuln-tests

• https://contract.guardstrike.com/#/scan

• https://github.com/nescio007/teether

• https://github.com/b-mueller/scrooge-mcetherface

• https://github.com/cleanunicorn/karl

• https://www.ziion.org/

• https://github.com/FuzzingLabs/octopus

• https://github.com/JoranHonig/vertigo

• https://elementus.io/

• https://www.chainalysis.com/

Documentation

• Ethereum Smart Contract Security Best Practices - https://consensys.github.io/smart-contract-best-practices/
• https://github.com/interfinetwork/smart-contract-audits
• https://github.com/demining/Blockchain-Attack-Vectors
• https://github.com/uni-due-syssec/eth-reentrancy-attack-patterns
• https://github.com/harendra-shakya/smart-contract-attack-vectors
• https://github.com/harendra-shakya/smart-contract-attack-vectors/blob/main/tools-and-ctfs/Web3_Security_Tools.md
• https://github.com/harendra-shakya/smart-contract-attack-vectors/blob/main/tools-and-ctfs/CTFs.md
• State of the Art of Ethereum Smart Contract Fuzzing in 2022 [EthCC5]- https://www.youtube.com/watch?v=RrdrfdtWnSo
• https://remix-ide.readthedocs.io/
• https://www.immunebytes.com/blog/getting-started-with-smart-contract-fuzzing/