MAIAN
Smart contract debugger
Automated tool for detecting bugs in smart contracts on the Ethereum blockchain
MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
557 stars
25 watching
160 forks
Language: Python
last commit: over 1 year ago
Linked from 1 awesome list
chaozh/awesome-blockchain-cnRelated projects:
| Repository | Description | Stars |
|---|---|---|
 cleanunicorn/karl | Monitors smart contracts for security vulnerabilities on blockchain networks | 315 |
 a16z/metamorphic-contract-detector | An automated tool to identify potential smart contract vulnerabilities on the Ethereum blockchain | 160 |
 muellerberndt/mythril | Detects security vulnerabilities in smart contracts written in EVM bytecode. | 54 |
 kadenzipfel/smart-contract-vulnerabilities | A collection of vulnerabilities and prevention methods for smart contracts on the Ethereum blockchain | 1,985 |
 rust-ethereum/ethabi | Encodes and decodes function calls and their output in smart contracts | 518 |
 smartbugs/smartbugs | An open-source framework for analyzing Ethereum smart contracts for weaknesses and vulnerabilities | 581 |
| muellerberndt/smashing-smart-contracts | Security analysis and documentation of smart contracts on the Ethereum network | 169 |
 eth-sri/zkay | Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain | 83 |
 originprotocol/security | Provides security-related resources and tools for developers building smart contracts on the Ethereum blockchain | 200 |
 tintinweb/smart-contract-sanctuary | A repository of verified smart contracts and support scripts for various blockchain networks. | 1,522 |
 geniusyield/atlas | A Haskell-based tool for building and managing smart contracts on the Cardano blockchain | 67 |
 algorand/pyteal | Provides a Python interface to Algorand Smart Contracts enabling developers to create and manage smart contracts using a high-level, functional programming style | 286 |
 tokenika/eosfactory | Automates smart-contract testing and deployment on EOSIO blockchain | 243 |
| eth-sri/securify | A security scanner for Ethereum smart contracts | 219 |
 msuiche/porosity | A tool for analyzing and decomposing Ethereum smart-contract bytecode into readable Solidity syntax | 927 |