MAIAN
MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
AI summary
Smart contract debugger
Automated tool for detecting bugs in smart contracts on the Ethereum blockchain
- stars
- 557
- forks
- 160
- watching
- 25
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Vulnerability scanner
Monitors smart contracts for security vulnerabilities on blockchain networks
Contract Vulnerability Detector
An automated tool to identify potential smart contract vulnerabilities on the Ethereum blockchain
Vulnerability detector
Detects security vulnerabilities in smart contracts written in EVM bytecode.
Smart Contract Vulnerabilities
A collection of vulnerabilities and prevention methods for smart contracts on the Ethereum blockchain
Smart contract invoker
Encodes and decodes function calls and their output in smart contracts
Smart contract analyzer
An open-source framework for analyzing Ethereum smart contracts for weaknesses and vulnerabilities
Smart contract security analysis
Security analysis and documentation of smart contracts on the Ethereum network
Smart contract compiler
Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain
Smart contract security toolkit
Provides security-related resources and tools for developers building smart contracts on the Ethereum blockchain
Contract hub
A repository of verified smart contracts and support scripts for various blockchain networks.
Smart contract builder
A Haskell-based tool for building and managing smart contracts on the Cardano blockchain
Smart contract library
Provides a Python interface to Algorand Smart Contracts enabling developers to create and manage smart contracts using a high-level, functional programming style
Contract tester
Automates smart-contract testing and deployment on EOSIO blockchain
Smart contract analyzer
A security scanner for Ethereum smart contracts
Smart contract analyzer
A tool for analyzing and decomposing Ethereum smart-contract bytecode into readable Solidity syntax
Featured in 1 awesome list
Each link jumps to the spot where the list mentions MAIAN.
