Login / Signup

Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis.

Hua YanShiping ChenYulei SuiYueqian ZhangChangwei ZouJingling Xue
Published in: SAS (2019)
Keyphrases
  • context sensitive
  • natural language
  • language model
  • model checking
  • spelling correction