Login / Signup

Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android.

Linjie PanBaoquan CuiJiwei YanXutong MaJun YanJian Zhang
Published in: ISSTA (2019)
Keyphrases
  • static analysis
  • abstract interpretation
  • conceptual model
  • d objects
  • contextual information
  • dynamic analysis
  • real world
  • knowledge base
  • moving objects
  • relational databases
  • countermeasures