Maian
Automated vulnerability tracing in Ethereum smart contracts.
What is Maian?
MAIAN is a Python-based tool by Ivica Nikolic for automatic detection of buggy Ethereum smart contracts of three types: suicidal, prodigal, and greedy. It processes contract bytecode and tries to build a trace of transactions to find and confirm bugs. Developers can check if a smart contract can send ETH to anyone using the associated flag for a prodigal-type scan. This implementation can scan Solidity and bytecode smart contracts and also features a GUI for a much easier testing experience.
Web3 dapps and developer tools related to Maian
Discover blockchain applications that are frequently used with Maian.
Solidcheck
Superchain Dev Console
RubyScore
Loop Decoder
Developer resources from Alchemy
Solidity gas optimization: 12 techniques to make your smart contracts cheaper and more efficient
Want to write better code and lower your gas fees?
What are zero-knowledge rollups (ZK-rollups)?
Explore ZK-rollups, a fast-growing L2 design. Learn how they cut costs, enable instant finality, and boost security.
Metropolis makes it easy to deploy smart contracts using Alchemy's account abstraction infrastructure
Learn how Metropolis is leveraging Alchemy's account abstraction infrastructure to redefine smart contract deployment with their new product, Metal.
Maian alternatives
Explore web3 competitors and apps like Maian.
Solhint for IntelliJ
Solhint
SmartMuv
AuditBaseApp store listings are independently reviewed and written by Alchemy using a combination of inbound submissions, editorial research, public project sources, and third-party directories, including ecosystem data from The Grid under the Open Database License, DefiLlama, DappRadar, Reown, and chain ecosystem pages.
