HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving