FlowDroid Static Data Flow Tracker
Corax for Java: A general static analysis framework for java code checking.