FaultDroid: An Algorithmic Approach for Fault-Induced Information Leakage Analysis