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