SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis.

Zeqin Liao, Sicheng Hao, Yuhong Nan, Zibin Zheng

Browse the full ISSTA paper archive.