Vision: automated security validation of mobile apps at app markets
DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation