<<< BACK <<<

STM-071: Ethainter

Authors

            Brent, Lexi and Grech, Neville and Lagouvardos, Sifis and Scholz, Bernhard and Smaragdakis, Yannis

Venue and Year

            SIGPLAN, 2020

Original Work

            Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities

Defense Modality

            Subtractive

Core Method(s)

            static analysis

Input-Output Mapping

            source code => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities