VulHunter: Toward Discovering Vulnerabilities in Android Applications
A fast algorithm for finding dominators in a flowgraph