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

Stefano Calzavara Ilya Grishchenko Matteo Maffei

Published in: CoRR (2017)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
regular expressions
test generation
abstract interpretation
database
real world
java card
open source