JN-SAF: Precise and Efficient NDK/JNI-aware Inter-language Static Analysis Framework for Security Vetting of Android Applications with Native Code.

Fengguo WeiXingwei LinXinming OuTing ChenXiaosong Zhang
Published in: CCS (2018)
Keyphrases
  • static analysis
  • source code
  • abstract interpretation
  • dynamic analysis
  • java card
  • malicious code
  • regular expressions
  • specification language
  • symbolic execution
  • data sets
  • artificial intelligence
  • programming language