<<< BACK <<<

STM-119: WANA

Authors

            Wang, Dong and Jiang, Bo and Chan, WK

Venue and Year

            arXiv, 2020

Original Work

            WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection

Defense Modality

            Subtractive

Core Method(s)

            symbolic execution

Input-Output Mapping

            bytecode => report

Targeted Contracts

            any

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities