Hidden truths in dead software paths
Static analysis of Android programs