HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving | IEEE Conference Publication | IEEE Xplore