本文提出了污点逆向传播的方法来解决用户隐私泄漏的问题。面向隐私保护的污点逆向传播实际上是按照污点正向传播的思想来追踪数据。而通过逆向化这个过程,达到了污点标记简单,执行效率高,污点数目减少的优势。除此之外,污点逆向传播的隐私保护和污点正向传播的隐私保护存在着本质上的不同。污点正向传播的隐私保护往往是将污点正向传播作为一个模块加入操作系统中,污点正向传播会事实的监控程序中的污点数据的传播情况,污点正向传播模块作为一种监视器,从而判断用户的隐私数据是否遭到泄漏。所以污点正向传播的本质是成为操作系统中的一部分来保护隐私数据不被发送到网络中。而这种做法往往会给程序带来百分之四十到五十的效率损失,对一个正常使用的程序来说,这种性能损失往往是不可接受的。而污点逆向传播的定位则不同,由于在污点逆向传播中需要通过逆向执行程序,才能使污点逆向传播。所以,污点逆向传播并不与程序的正常执行流程同时进行,而是作为程序分析人员分析目标程序时独立的一部分。本文中所提到的隐私保护,也针对人们日常生活中已广泛使用的软件,判断其是否对用户的隐私信息进行了非法的操作。因此,在污点逆向传播中,我们的隐私保护模式是,只要程序分析人员分析出程序是否安全,就已经可以为用户作为是否选择目标应用的参考,并不需要每一个用户自身再在极大的性能损失下去了解程序的运行状态。所以,本文最终提出的污点逆向分析框架并不是帮助用户审查他们所使用的应用程序是否进行了非法操作,而是辅助程序分析人员可以快速判定一个程序中是否存在对隐私数据的非法操作。本文的主要工作包括:首先,设计并实现了污点逆向传播框架。通过对污点逆向传播框架的实现,很好的完成了对程序中数据来源进行追踪的效果。并可以此为依据,判断程序是否存在隐私泄漏的情况。并将污点逆向传播框架分解为:程序逆向执行模块、污点逆向传播模块和可视化模块三个模块。并分别对污点逆向传播框架的三个模块进行了相应的优化工作。其次,对程序逆向执行模块进行了分析和优化。由于在框架中,污点数据需要逆向传播,这就要求程序需要逆向执行。所以,本文提出了多种程序逆向执行的方法,并将基于确定性回放的程序逆向执行方法作为污点逆向传播框架的程序逆向执行方法,再对此方法提出了单版本、多版本、超版本的三种方式,大幅提升了确定性回放的执行效率。再次,对污点逆向传播模块进行了分析和优化。在污点逆向传播阶段,随着污点数量的增大,污点逆向传播的效率会大幅下降。为此,本文针对程序中经常出现的循环操作进行了优化,提升了污点逆向传播的效率。最后,针对污点逆向传播的特点,提出了与其相适应的数据结构——时序有向图,并对时序有向图做了了可视化处理。提出了基于时序的有向有环图,并通过对图在不同状态下的显示,达到了辅助程序分析人员发现数据来源和观察数据依赖的效果。