TaintDroid简介

1、Information-Flow tracking，Realtime Privacy Monitoring。信息流动追踪，实时动态监控。

2、TaintDroid是一个全系统动态污点跟踪和分析系统，能同时跟踪多个敏感信息源。通过监控敏感数据让用户了解第三方app的使用行为。

3、监控30款常用的应用程序，其中20款中发现68例滥用用户位置信息和设备识别信息的行为。

4、移动平台操作系统对app访问隐私权限只提供粗粒度访问控制，不能了解到底是被如何使用的。只能盲目相信app会合理使用隐私信息。

5、TaintDroid使用细粒度动态污点跟踪，即位于数据项或变量中的标签。

6、TaintDroid利用Android虚拟化架构整合了四种粒度的污点传播： Message-level,Variable-level,Method-level,File-level。

 

7、

通过VM解释器对不受信任的app代码中进行variable-level跟踪，更侧重于数据上而不是代码上存储污点标志。

应用程序之间采用Message-level跟踪，开销低，范围扩展到整个系统。

系统原生库采用Method-level跟踪。

永久性信息以File-level形式跟踪，确保以保守的方式保留污点标志。

 

8、

信息在可信的app处被tainted(1)，污点接口调用一个native方法(2)，此方法interface一个DVM解释器，每个解释器中都有一个Virtual Taint Map，存储特定的污点标记tag。当可信app使用tainted数据时，DVM传输taint tags(3)。当可信app进行IPC通信时若使用tainted信息，则Binder(4)会确保该信息包会包含taint tag，此tag反映信息包中所有数据的污点标签信息。该 信息包 通过 binder kernel module(5)进行传输，然后被远程的不可信 app 接收。更改后的binder从信息包中获取taint tag(6),远程DVM解释器将taint tag传给不可信app(7)。当不可行app调用一个动态库，则该库会从待发数据中抽取tainted tag，并报告此事件(8)。

9、以上结构需要克服的问题：

　　(1)、taint tag存储：将污点标签存储在与变量相邻的内存中，减少存储开销。

　　(2)、解释型代码污点传播：（这一部分不是很懂） 污点传播逻辑 tainted对象引用

　　(3)、原生库代码污点传播：不受监控。 内部VM方法：被解释后的代码直接调用，传递一个指向32位寄存器参数数组的指针，返回一个指向返回值的指针。一般无需修改。 JNI方法：(Java Native Interface)。TaintDroid询问一个方法 profile表，该表用于传播信息的更新。一个方法 profile 是一个(from,to)数据对的 list，用于指示变量之间的数据流(这些变量可能是参数、类的变量、返回值等)。

　　(4)、IPC污点传播：跟踪app之间的通信时发送的数据包中的敏感信息。

　　(5)、二次存储污点传播：确保被污染的数据存入文件时，污点标记会在稍后文件被读取时恢复。

10、隐私Hook的放置

　　(1)、低带宽传感器：信息常变换，被多个app使用，如位置、加速器

　　(2)、高带宽传感器：传输大量数据。只被一个app使用，如摄像头

　　(3)、信息数据库：电话簿、短信等，存于文件数据库

　　(4)、设备标识符：设备的唯一标识，如IMEI，SIM

　　(5)、网络流动站：信息传递时的网络接口

11、应用程序研究：

　　(1)、实验共生成1130个TCP连接，正确标记了105个含有受污染的隐私敏感信息连接。

　　(2)、半数应用程序将位置信息发送到广告服务器。

　　(3)、30款app中20款要求获取手机状态并获取访问互联网权限。

　　(4)、设备唯一ID IMEI遭到泄露。app通过收集手机标识符来跟踪用户行为，如手机号、社交网络、用户资料、电子邮件等。且会被长期追踪难清除。

12、性能研究：

　　TaintDroid只引入了很小的性能开销。因为：(1)大多数应用程序主要出于“等待状态”，(2)重量级运算如屏幕更新、网页渲染等均不发生在受监控的原生库中。 TaintDroid总体平均CPU消耗为14%，内存开销为4.4%。

13、方法设计局限性：

　　为了降低开销，TaintDroid只跟踪信息流(显式流)，而不跟踪控制流(隐式流)。恶意软件可能使用控制流泄露隐私敏感信息。要跟踪控制流则需要进行静态分析。信息离开手机后，服务器会返回网络应答数据，TaintDroid无法跟踪。

实现上的局限性：

　　DirectBuffer对象使用PlatformAddress类中的原生地址，而文件IO操作中对直接变量进行读写操作的API会默认这些原生地址来自于DirectBuffer。而DirectBuffer中的数据以非透明的形式存储在本地，所以TaintDroid不能跟踪。

污点来源局限性：

　　当被跟踪信息包含配置标识符时，会发生误报。所以对包含配置参数的污点来源，应对个别变量进行污染。