MITRE version of DroidPlanner