Sign in

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

Stefano CalzavaraIlya GrishchenkoMatteo 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