ucsb-seclab / sailfish

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

Related projects

Alternatives and complementary repositories for sailfish