EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
Primary LanguageSolidityMIT LicenseMIT