
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.
Developer resources from Alchemy

Guide for non-crypto natives on choosing smart wallet infrastructure
Build wallet infrastructure that hides blockchain complexity. No seed phrases, no gas fees, just easy login.

Everyone onchain: our $5M builder fund for apps and rollups
Access up to $25,000 in credits from our $5M Everyone Onchain Fund. Scale to millions with smart wallets and rollups.

A developer
In this article, we'll cover smart contract security best practices, fail-safe protections, and smart contract analysis tools for hardening smart contract security.
Maian alternatives
Explore web3 competitors and apps like Maian.

