Data flow analysis: an informal introduction in the Clang documentation (source code)

= 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.