高颖慧,杨亚东,张 源,杨 珉

1(复旦大学 软件学院,上海 201203) 2(上海通用识别技术研究所,上海 201100) E-mail:yuanxzhang@fudan.edu.cn

1 引 言

近年来,移动智能手机在人们的日常生活中发挥着越来越重要的作用,其中Android是现在最受欢迎的智能手机操作系统.手机上的应用软件以其不断丰富的功能吸引着用户的同时也能访问到更多的用户隐私信息,而这些敏感数据的泄漏将给用户的安全造成一定的威胁.

针对海量应用软件隐私泄漏的问题,研究人员提出了多种自动化程序分析方法和工具,其中静态数据流分析是一种非常常用的技术手段.Android平台为了减轻应用程序开发者的负担和增加代码复用,提供大量的Android应用程序编程接口(Application Programming Interface,简称API).应用程序的开发和执行过程中会大量使用到这些API.为了更加精确地分析软件的行为,静态数据流分析工具不仅要分析应用程序的代码,也要分析这些API对应的库函数代码.

然而,库函数数目众多、逻辑复杂,分析库代码将会为程序分析引入大量的开销,远超过应用程序本身的开销,往往使得分析最终以超时或内存不足而告终.同时,针对每一个应用软件都需要对库代码重新分析,严重制约了静态数据流分析技术应用于海量应用软件的分析.

处理库函数的分析一个比较好的办法是为库函数生成数据流摘要,摘要能对每个库函数的行为建模,使得分析应用程序时无需再分析库函数代码,只需要使用库函数摘要就可以得到库函数……