Maian

Maian is the Python model of MAIAN, developed by Ivica Nikolic, that automatically detects vulnerabilities across three categories: suicidal, prodigal, and greedy.

It comes with a graphical user interface to simplify testing.

Using the prodigal-type scan flag, developers can verify whether a smart contract can send ETH to any address.