Lannan Luo, Qiang Zeng 0001, Chen Cao, Kai Chen 0012, Jian Liu 0008, Limin Liu, Neng Gao, Min Yang 0002, Xinyu Xing, Peng Liu 0005. Tainting-Assisted and Context-Migrated Symbolic Execution of Android Framework for Vulnerability Discovery and Exploit Generation. IEEE Trans. Mob. Comput., 19(12):2946-2964, 2020. [doi]
Abstract is missing.