ProExtor: Mining API Protocols for Program Vulnerability Detection. - Huijia Ye; Juwei Rao; Yang Shi; Zhihua Li (AISS, 2021)