sailfish icon indicating copy to clipboard operation
sailfish copied to clipboard

Published 20 hours ago • verified publisher icon ucsb-seclab
→

Metadata

Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds

← Metadata

47
Stars
11
Forks
Watchers

Owner

verified publisher icon ucsb-seclab

Metadata

Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds

Back