metamorphic-contract-detector
Contract Vulnerability Detector
An automated tool to identify potential smart contract vulnerabilities on the Ethereum blockchain
160 stars
14 watching
16 forks
Language: Python
last commit: over 4 years agoLinked from 1 awesome list
bkrem/awesome-solidityRelated projects:
| Repository | Description | Stars |
|---|---|---|
 kadenzipfel/smart-contract-vulnerabilities | A collection of vulnerabilities and prevention methods for smart contracts on the Ethereum blockchain | 1,985 |
 muellerberndt/mythril | Detects security vulnerabilities in smart contracts written in EVM bytecode. | 54 |
 cleanunicorn/karl | Monitors smart contracts for security vulnerabilities on blockchain networks | 315 |
 ivicanikolicsg/maian | Automated tool for detecting bugs in smart contracts on the Ethereum blockchain | 557 |
| muellerberndt/smashing-smart-contracts | Security analysis and documentation of smart contracts on the Ethereum network | 169 |
 vulnplanet/l3x | An AI-driven tool for detecting vulnerabilities in code written in Rust and Solidity. | 63 |
 nccgroup/web3-decoder | An extension for Burp Suite to analyze JSON-RPC calls related to Ethereum smart contracts | 111 |
| a16z/halmos | A symbolic testing tool for Ethereum Virtual Machine (EVM) smart contracts | 835 |
 originprotocol/security | Provides security-related resources and tools for developers building smart contracts on the Ethereum blockchain | 200 |
 eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 589 |
 raineorshine/solgraph | A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity | 1,019 |
 ethereum-lists/contracts | A registry of deployed contracts and their associated security contact information | 130 |
| eth-sri/securify | A security scanner for Ethereum smart contracts | 219 |
| a16z/nft-analyst-starter-pack | Provides tools to analyze NFT market data and export transfer history and sales records in CSV format. | 462 |
| eth-sri/zkay | Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain | 83 |