# 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>&#x20;

CWE list для смарт-контрактов: <https://swcregistry.io/>

Tools that are required for testing (какие-то инструменты из статьи с медиума, надо смотреть и проверять):

1. Browser based Solidity IDE: <http://remix.ethereum.org/>
2. Securify V2.0: <https://github.com/eth-sri/securify2>
3. Oyente: <https://github.com/enzymefinance/oyente>
4. The Hydra Aplha: <https://github.com/IC3Hydra/Hydra>
5. Porosity: <https://github.com/msuiche/porosity>
6. Manticore: <https://github.com/trailofbits/manticore/>
7. Etherplays: <https://github.com/crytic/ethersplay>
8. Online Solidity Decompiler: <https://ethervm.io/decompile>
9. Mythril: <https://github.com/ConsenSys/mythril>
10. Echidna: <https://github.com/crytic/echidna>
11. Slither: <https://github.com/trailofbits/slither>

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>