Data flow analysis: an informal introduction
clang.llvm.org