VulHunter: Toward Discovering Vulnerabilities in Android Applications
Symbolic execution and program testing