Automated vulnerability tracing in Ethereum smart contracts.
The Python model of MAIAN by Ivica Nikolic achieves automatic vulnerability detection on three fronts; suicidal, prodigal, and greedy. It also features a GUI for a much easier testing experience. 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.
Sign up for a free Alchemy Account
Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.