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

Stefano Calzavara Ilya Grishchenko Matteo Maffei

Published in: EuroS&P (2016)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
regular expressions
java card
test generation
malicious code
real world
building blocks
test suite
abstract interpretation