Tools
Cobra - A fast, flexible and simple development environment framework for Ethereum smart contract, testing and deployment on Ethereum virtual machine(EVM). https://github.com/cobraframework/cobra
MAIAN - ΡΠΊΠ°Π½ΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΡΡΠ·Π²ΠΈΠΌΠΎΡΡΠ΅ΠΉ Π² ΡΠΌΠ°ΡΡ-ΠΊΠΎΠ½ΡΡΠ°ΠΊΡΠ°Ρ Eth http://telegra.ph/MAIAN---tulza-dlya-testirovaniya-bezopasnosti-smart-kontraktov-na-Ethereum-06-12
Slither β Solidity static scanner https://github.com/crytic/slither
Semgrep rules for eth smart contracts: https://github.com/Raz0r/semgrep-smart-contracts
Brownie β python based dev & test eth smart contracts framework https://github.com/eth-brownie/brownie
A framework for creating PoC's for Solana Smart Contracts β https://github.com/neodyme-labs/solana-poc-framework
CWE list Π΄Π»Ρ ΡΠΌΠ°ΡΡ-ΠΊΠΎΠ½ΡΡΠ°ΠΊΡΠΎΠ²: https://swcregistry.io/
Tools that are required for testing (ΠΊΠ°ΠΊΠΈΠ΅-ΡΠΎ ΠΈΠ½ΡΡΡΡΠΌΠ΅Π½ΡΡ ΠΈΠ· ΡΡΠ°ΡΡΠΈ Ρ ΠΌΠ΅Π΄ΠΈΡΠΌΠ°, Π½Π°Π΄ΠΎ ΡΠΌΠΎΡΡΠ΅ΡΡ ΠΈ ΠΏΡΠΎΠ²Π΅ΡΡΡΡ):
Browser based Solidity IDE: http://remix.ethereum.org/
Securify V2.0: https://github.com/eth-sri/securify2
The Hydra Aplha: https://github.com/IC3Hydra/Hydra
Porosity: https://github.com/msuiche/porosity
Manticore: https://github.com/trailofbits/manticore/
Etherplays: https://github.com/crytic/ethersplay
Online Solidity Decompiler: https://ethervm.io/decompile
Mythril: https://github.com/ConsenSys/mythril
Echidna: https://github.com/crytic/echidna
Web3 support for burp: https://research.nccgroup.com/2022/11/10/tool-release-web3-decoder-burp-suite-extension/amp/
Web3 security tool: https://xmind.works/share/zfdeD07U
Last updated