The Python model of MAIAN by Ivica Nikolic achieves automatic vulnerability detection on three fronts; suicidal, prodigal, and greedy. It also features aGUI for a much easier testing experience.Developers can check if a smart contract can send ETH to anyone using theassociated flag for a prodigal-type scan.This implementation can scan Solidity and bytecode smart contracts.