Predicate Interpretation Analysis Based on Soot. - Fang, Chunrong; Shi, Qingkai; Feng, Yang; Liu, Zicong; Zhang, Xiaofang; Xu, Baowen (2017)