<<< BACK <<<

STM-132: MythX

Authors

            ConsenSys

Venue and Year

            Proprietary,

Original Work

            MythX

Defense Modality

            Additive

Core Method(s)

            mix

Input-Output Mapping

            bytecode=>report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities