<<< BACK <<<
STM-100: Sailfish
Authors
Bose, Priyanka and Das, Dipanjan and Chen, Yanju and Feng, Yu and Kruegel, Christopher and Vigna, Giovanni
Venue and Year
Oakland, 2021
Original Work
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
Defense Modality
Subtractive
Core Method(s)
symbolic execution + static analysis
Input-Output Mapping
bytecode => report
Targeted Contracts
Any Ethereum
Threat Model
Vulnerable contract, malicious contract, or both
both
Targeted Vulnerabilities