Beltsys Labs
Beltsys Labs
Maian

Maian

El modelo Python de MAIAN por Ivica Nikolic logra la detección automática de vulnerabilidades en tres frentes: suicida, …

Ethereum

Que es Maian

El modelo Python de MAIAN por Ivica Nikolic logra la detección automática de vulnerabilidades en tres frentes: suicida, pródigo y codicioso. También presenta una GUI para una experiencia de pruebas mucho más fácil. Los desarrolladores pueden verificar si un smart contract puede enviar ETH a cualquiera usando la bandera asociada para un escaneo de tipo pródigo. Esta implementación puede escanear smart contracts en Solidity y bytecode.

Las mejores herramientas de Dev Tools

Descubre mas aplicaciones web3 y herramientas para desarrolladores.

Ver todas las dApps →

Necesitas una solucion blockchain a medida?

Desarrollamos dApps, smart contracts y soluciones Web3 para startups y fintech.

Contacte con nosotros