基于Clang编译前端的Android源代码静态分析技术

摘要：

Android手机在全球占有很大的市场份额,基于Android衍生的第三方系统也为数不少.针对Android系统重大安全问题频发的现状,提出一种使用Clang编译前端对Android源码进行静态分析的方法.该方法从己公布的CVE漏洞中提取规则和模型,通过改进的Clang编译前端,对Android源码进行静态分析,从而检测出有潜在安全风险的代码片段.在对Android源码进行污点分析时,调用新加入的stp约束求解器,通过符号执行,对敏感数据进行污点标记,并对敏感函数、敏感操作、敏感规则进行污点分析,如果存在潜在的安全隐患,则进行报告.经过实验分析,该方法可以找出Android源代码中存在的同类型有安全风险的代码片段,可以检出libstagefright模块5个高危CVE漏洞.

关键词：Clang编译器、安卓、静态分析、污点分析、符号执行

所属期刊栏目：26

分类号：TP3;TV1

资助基金：国家高技术研究发展计划“863”计划2015AA016003

在线出版日期：2017-12-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：1-10