FlowDroid Static Data Flow Tracker
Miniproject for SNLP - Responsible Tutor is Ricardo Usbeck
OWL API main repository