TaintDroid实现数据流的污点追踪

TaintDroid实现数据流的污点追踪

taintdroid不同层次的污点标签追踪：

1：变量级别的追踪：java代码-->dalvik虚拟机的解释器的执行字节码-->对内存中的变量地址的下地址开辟一个32位的空间存储一个污点标签 图1

2：java方法中的污点标签传递开辟双倍空间的栈，以参数1的地址，参数1的污点标签，参数2的地址，参数2的污点标签……的方式开辟方法的栈空间 图2

3：native方法中（native方法本身不包含污点标签，因为C/C++代码的编译器无法改变？）：当带有污点标签的数据作为参数传入native方法时，传入参数就成了：参数数据地址与数据的污点标签值以及一个return tag，当native方法返回时，返回的数据，以及参数都带有return tag这个污点标签 图3

4：IPC中的污点追踪就通过message级别的追踪，message中的污点标签就是所有message中的变量的污点标签的总和

5：二次存储的污点追踪：例如数据存入文件后，数据就从内存中消失了，因此，我们在文件的扩展属性中添加一个所有进入这个文件的数据的污点标签，当从文件中取出数据时，把这个数据重新打上文件扩展属性中的污点标签。