Data flow analysis: an informal introduction in the Clang documentation
= Data flow analysis: an informal introduction in the Clang documentation
{c}
Primary source: https://clang.llvm.org/docs/DataFlowAnalysisIntro.html
Verified locator: Introduction, symbolic-value sets, joining information, lattices and fixed-point iteration.