Sign in

Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis.

Jiangchao LiuJierui LiuPeng DiDiyu WuHengjie ZhengAlex X. LiuJingling Xue
Published in: ISSTA (2023)
Keyphrases
  • context sensitive
  • static analysis
  • dynamic analysis
  • spelling correction
  • natural language
  • abstract interpretation
  • probabilistic model
  • information extraction
  • source code
  • context free