基于控制流挖掘的Android系统代码漏洞分析  

Vulnerability analysis of the Android operating system code based on control flow mining

作　　者：刘剑[1] 孙可钦[1] 汪孙律[1] 

机构地区：[1]中国科学院软件研究所,基础软件国家工程研究中心,北京100190

出　　处：《清华大学学报（自然科学版）》2012年第10期1335-1339,共5页Journal of Tsinghua University(Science and Technology)

基　　金：中国科学院知识创新工程重要方向资助项目(KGCX2-YW-125);国家重点科技专项“核高基”资助项目(2010ZX01036-001-002,2010ZX01037-001-002)

摘　　要：Android操作系统被广泛应用于智能手机、平板电脑等便携移动设备,因此Android操作系统的安全性和可靠性至关重要。本文使用控制流挖掘方法,针对Android内核代码的多种典型错误构建相关的分析脚本,进行了分析检测,并对Android系统多版本间进行横向分析对比。本文首次将控制流挖掘方法应用于Android系统,通过系统化的实验分析包含Android扩展的驱动以及Yaffs2文件系统在内的所有Android内核代码,并对Android各个内核版本进行横向对比分析,发现了代码库中一系列脆弱点。The Android operating system is widely used in smart phones,tablet PCs and other portable mobile devices.Therefore,the security and reliability of the Android operating system code is very important.Systematic checking is applied here to the Android code using control flow mining and manual checking scripts for typical kernel errors.A horizontal analysis and comparison among multiple versions of the Android operating system codes is given.This is the first analysis using control flow mining methods on the Android system code,which includes many new modules such as additional drivers and the Yaffs2 file system.The analysis reveals many vulnerabilities.

关 键 词：控制流挖掘 漏洞分析 ANDROID操作系统 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]