Login / Signup

Detecting Memory Life-Cycle Bugs With Extended Define-Use Chain Analysis.

Gen Zhang
Published in: IEEE Access (2020)
Keyphrases
  • life cycle
  • static analysis
  • np hard
  • source code
  • test cases