Static analysis for independent app developers.

Lucas Brutschy Pietro Ferrara Peter Müller

Published in: OOPSLA (2014)

Keyphrases

static analysis
source code
dynamic analysis
open source
symbolic execution
software systems
java card
abstract interpretation
malicious code
regular expressions
mobile apps
test generation
android platform
test suite
high level
mobile applications
pattern matching
software development
data model
mobile devices