前言
在前三篇文章中我们详细分析了TaintDroid对DVM栈帧的修改，以及它是如何在修改之后的栈帧中实现DVM变量级污点跟踪、Native方法级跟踪。本篇文章我们来分析下IPC级污点传播
TaintDroid深入剖析系列目录：
具体实现
这里我以情景为上下进行跟进，每个情景会涉及多个源文件，它们之间的逻辑是互相完整和独立的。
Java层Taint的传播是通过类Taint（libcore/dalvik/src/main/java/dalvik/Taint.java）实现的。
情景——IPC传递
代码：
frameworks/base/cmds/servicemanager/binder.c
frameworks/native/libs/binder/Parcel.h
frameworks/native/libs/binder/Parcel.cpp
framework/base/core/java/android/os/Parcel.java
framework/base/core/jni/android_os_Parcel.cpp
分析：
为了实现IPC的污点跟踪，taintdroid给每个Parcel单独维护了一个taint_info的结构体，其定义在Parcel.h，如下所示：
struct taint_in_parcel
{
uint32_t pos; //污点始址
uint32_t len; //污点长度
uint32_t taint; //污点标记
};
struct taint_info
{
uint32_t mTaintSize; // 当前污点项长度
uint32_t mCurPos; // 当前项索引
uint32_t mCurAllocatedSize; // 当前可用项长度
struct taint_in_parcel * parcelArray; //污点项数组
void* mOwnerCookie; //作用未知
};
然后提供了两个方法对这个结构进行操作，分别是Parcel::updateTaint和Parcel::getTaint。
updateTaint的功能是动态添加污点到当前Parcel，其实现如下：
而getTaint的功能是根据指定的范围获取对应的tag值（因为Parcel的数据是线性存储的），其实现如下所示：
为了可以方便上层接口调用，在android_os_Parcel.cpp通过JNI对上层提供了接口，
再来看一下Parcel.java层污点传递的具体实现，我从四个函数分析，其他的逻辑是类似的。
Parcel.marshall是把Parcel序列化为byte[]，其实现如下
通过getTaint获取当前Parcel的污点集合tag，再通过Taint.addTainByteArray把tag传递给序列化后的data对象。
Parcel.unmarshall的作用跟Parcel.marshall是相反的，通过byte[]还原Parcel对象，其实现如下：
先通过Taint.getTainByArray拿到data的tag，然后再同步到还原后的Parcel对象。
Parcel.writeInt是往Parcel中写入一个32位的整型，其实现如下：
先获取被写入的val的tag，然后再通过调用updateTaint把污点数据同步到当前Parcel对象。
Parcel.readInt是执行与Parcel.writeInt相反的动作，从Parcel中读出一个32倍整形，其实现如下所示:
依据当前的pos和len，getTaint返回对应的tag，然后再通过Tain.addTainInt同步到最终结果val2。
总结：
TaintDroid的IPC污点跟踪粒度是变量粒度的，因此大大提高了污点传播的精准度。下一步继续分析下File & Memory & Socket 级污点传播
本文来自合作伙伴“阿里聚安全”，发表于2016年08月10日 09:29.