Compiler analyses, passes, and optimizations for LLVM. LLVM.
df- header only generalized dataflow analysis librarynull-check- Static analysis that ensures safety of memory loads and stores. Read more about it hereive- Strength reduction and induction variable elimination