欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
TaintDroid
来自开放百科 - 灰狐
TaintDroid 实时监视系统，用于跟踪和精确分析用户个人隐私数据的流向。
用户可以使用TaintDroid的源代码在Android智能手机上建立自己的TaintDroid系统。TaintDroid是基于Android 2.1，创建TaintDroid自制MOD的过程对普通用户来说相当繁琐。
Links
分享您的观点
