Login / Signup

Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.

Zhiqiang ZuoKai WangAftab HussainArdalan Amiri SaniYiyu ZhangShenming LuWensheng DouLinzhang WangXuandong LiChenxi WangGuoqing Harry Xu
Published in: ACM Trans. Comput. Syst. (2021)
Keyphrases
  • static analysis
  • source code
  • dynamic analysis
  • malicious code
  • distributed systems
  • building blocks
  • regular expressions
  • symbolic execution
  • data sets
  • metadata
  • test generation
  • abstract interpretation