6.9 Future reading
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin, Principles of Program Analysis, Springer, 2005 [29]
Xavier Rival and Kwangkeun Yi, Introduction to Static Analysis: An Abstract Interpretation Perspective, The MIT Press, 2020 [30]
Kristóf Umann A survey of dataflow analyses in Clang: https://lists.llvm.org/pipermail/cfe-dev/2020-October/066937.html
Bruno Cardoso Lopes and Nathan Lanza An MLIR based Clang IR (CIR): https://discourse.llvm.org/t/rfc-an-mlir-based-clang-ir-cir/63319
