A static analysis tool to detect potential backdoors hidden in Ethereum smart contracts.
Primary LanguagePython