<<< BACK <<<

STM-050: SolAnalyser + MuContract

Authors

            Akca, Sefa and Rajan, Ajitha and Peng, Chao

Venue and Year

            APSEC, 2019

Original Work

            SolAnalyser: A Framework for Analysing and Testing Smart Contracts

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