<<< BACK <<<

STM-047: EVulHunter

Authors

            Quan, Lijin and Wu, Lei and Wang, Haoyu

Venue and Year

            arXiv, 2019

Original Work

            EVulHunter: Detecting Fake Transfer Vulnerabilities for EOSIO’s Smart Contracts at Webassembly-level

Defense Modality

            Subtractive

Core Method(s)

            static analysis

Input-Output Mapping

            assembly code => report

Targeted Contracts

            EOS

Threat Model

Vulnerable contract, malicious contract, or both 
            vulnerable contract

Targeted Vulnerabilities