SDLI: Static Detection of Leaks Across Intents