llvm-ir-analysis (cargo): Static analysis on LLVM IR
Keywords: cfg|dependence|dominator|control-flow|llvm