Beltsys Labs
Beltsys Labs
Maian

Maian

Automated vulnerability tracing in Ethereum smart contracts.

Ethereum

What is Maian

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.

Best Dev Tools

Discover more web3 applications and developer tools.

View all dApps →

Need a custom blockchain solution?

We build dApps, smart contracts and Web3 solutions for startups and fintech.

Contact Us