Tainting-Assisted and Context-Migrated Symbolic Execution of Android Framework for Vulnerability Discovery and Exploit Generation.
Lannan LuoQiang ZengChen CaoKai ChenJian LiuLimin LiuNeng GaoMin YangXinyu XingPeng LiuPublished in: IEEE Trans. Mob. Comput. (2020)