《System Service Call-oriented Symbolic Execution of Android Framework with Applications to...》论文阅读笔记