基于混合模式的安卓软件数据流分析技术研究.pdfVIP

摘要

摘要

静态数据流分析是一种检测软件行为的技术，常用于安卓软件安全检测中。

安卓软件代码可能涉及到Java和C/C++语言，对安卓软件进行数据流分析时，需

要对两类语言进行分析并考虑二者之间的交互，以实现更全面的分析。但由于两

类语言形成的数据流形式不同难以直接连接，涉及跨语言的数据流分析任务的关

键问题在于如何通过裁剪和抽象等手段衔接Java层和Native层不同形式的数据

流。目前已有一些研究针对这一点给出解决方案，但它们的衔接手段舍弃了部分

控制流和上下文信息，造成了后续污点分析的漏报或误报，影响安全检测准确性。

本文提出了一种混合摘要和全流程分析的安卓软件数据流分析方法，能有效降低

跨语言数据流衔接时的信息损失，提升数据流分析精度。具体工作及贡献如下：

（1）针对当前安卓软件跨语言静态分析技术存在无法针对超作用域变量（例

如Native全局变量和Java成员字段）进行分析，导致分析结果中缺失指向超作

用域变量的数据流进而引发精度下降的问题，本文提出了一种针对超作用域变量

的摘要分析方法。在函数内数据流分析中通过全局变量注解方法实现对Native全

局变量数据流追踪和摘要化，并在函数间数据流分析时追踪函数对超作用域变量

的读写，进而修复了函数和超作用域变量之间的数据流，提升摘要分析的代码覆

盖率。最后在手工编制的数据集上对该方法进行试验，分析结果的F1-Score为

85.7%，证明了该方法的有效性。

（2）针对当前安卓软件跨语言静态分析技术存在难以实现流敏感和上下文敏

感的数据流分析，导致在面对生命周期、跨组件交互和继承关系等安卓软件特征

时分析精度下降的问题，本文提出了一种混合摘要和全流程分析的数据流分析方

法。该方法通过将Native函数摘要转化为Java数据流的方式，在保证Java层高分

析精度的前提下，实现了对Native层的有效分析；并且该方法结合了研究工作一

中对Native层的分析技术，最终实现了一种流敏感和上下文敏感的安卓软件数据

流分析技术。对手工编制数据集和其他研究的数据集的污点分析实验显示，该方

法在面对各类安卓软件特征时分析结果F1-Score优于现有研究6.9%，证明该方法

能实现更精确的数据流分析。

关键词：静态程序分析，数据流分析，符号执行，污点分析

I

ABSTRACT

ABSTRACT

Staticdataflowanalysisisatechniqueusedtodetectsoftwarebehaviorandiscom-

monlyemployedinAndroidsoftwaresecurityassessment.Androidsoftwarecodecould

involvebothJavaandC/C++languages.WhenconductingdataflowanalysisonAn-

droidsoftware,analyzingtwolanguagesandconsideringtheirinteractionisnecessary

foramorecomprehensiveanalysis.However,thedifferentformsofdataflowgenerated

bythetwolanguagesmakeitchallengingtoconnectthemdirectly.Thecriticalissuein

inter-languagedataflowanalysistasksliesinbridgingthedifferentformsofdataflow

betweentheJavalayerandtheNativelayerthroughmethodssuchaspruningandabstrac-

tion.Someexistingresearchhasproposedsolutionstothisissue.Still,theyofte