面向Android应用的静态污点分析结果的正确性验证

秦彪, 郭帆, 涂风涛

Correctness verification of static taint analysis results for Android application

QIN Biao, GUO Fan, TU Fengtao

计算机应用 . 2019, (10): 3018 -3027 . DOI: 10.11772/j.issn.1001-9081.2019040644