/MAIAN

MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

Primary LanguagePythonMIT LicenseMIT

Watchers