IccTA: detecting inter-component privacy leaks in Android apps
Andromeda: Accurate and scalable security analysis of web applications