Post

LLVM static analysis

Research areas

  • Live-variable analysis
  • Dead-code analysis
  • Nullness analysis
  • Typestate analysis
This post is licensed under CC BY 4.0 by the author.