计算机工程与应用 ›› 2018, Vol. 54 ›› Issue (6): 86-94.DOI: 10.3778/j.issn.1002-8331.1611-0187
孙骁永1,2,王 伟1,霍 玮1,2,周建华1
SUN Xiaoyong1,2, WANG Wei1, HUO Wei1,2, ZHOU Jianhua1
摘要: 目前Android应用漏洞检测方法分为静态分析和动态分析。其中,静态分析存在误报率较高的问题,动态分析降低了误报率,但是存在运行效率和覆盖率较低的问题。针对动态分析存在的问题,首次提出了动态事件序列制导的Android应用漏洞验证技术,该技术使用自动化UI触发的方法生成Activity跳转关系图,然后对漏洞嫌疑路径进行精确制导,最后对漏洞触发嫌疑路径是否执行进行验证。经过对10 122个应用进行自动化漏洞分析,结果为召回率96.12%,误报率2.66%。实验结果表明,动态事件序列制导的Android应用漏洞验证技术对于自动化分析应用漏洞有很好的效果。