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