A collection of resources related to cryptocurrencies security
- Pakala - Offensive vulnerability scanner for ethereum, also see, Stealing Ethereum using Pakala
- Karl - A monitor for smart contracts that checks for security vulnerabilities
Securifyreplaced by SecurifyV2 - Security Scanner for Ethereum Smart Contracts- Mythril - Security analysis tool for EVM bytecode
- Manticore - Symbolic execution tool
- Slither - source code analyzer
- Eveem - Solidity decompiler
- Surya - Solidity code inspector
- Verisol - A formal verifier and analysis tool for Solidity Smart Contracts from Microsoft
- Echidna - Ethereum fuzz testing tool
- Benchmark Solidity