STM-092: SmarTest

Authors

            So, Sunbeom and Hong, Seongjoon and Oh, Hakjoo
            

Venue and Year

            USENIX Security, 2021
            

Original Work

            SMARTEST: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution
            

Defense Modality

            Subtractive
            

Core Method(s)

            symbolic execution + static analysis
            

Input-Output Mapping

            bytecode => report + exploits
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            both
            

Targeted Vulnerabilities