A survey of dataflow analyses in Clang
lists.llvm.org