SmartDagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability.

Zeqin Liao, Zibin Zheng, Xiao Chen, Yuhong Nan

Browse the full ISSTA paper archive.