【1】FlowDroid – Taint Analysis
http://sseblog.ec-spride.de/tools/flowdroid/
【2】DidFail
https://www.cs.cmu.edu/~wklieber/didfail/
http://www.tmtpost.com/122093.html
http://www.infoq.com/cn/news/2014/07/cert-secure-taint-flow-analysis