real world implementation of analyses

[0xalpharush]

llvm... too many to name.

rust mlir dataflow

[0xalpharush]

https://github.com/WebAssembly/binaryen/tree/main/src/passes

[0xalpharush]

ssa destruction: https://github.com/LLVM-but-worse/maple-ir/blob/master/org.mapleir.ir/src/main/java/org/mapleir/ir/algorithms/BoissinotDestructor.java https://github.com/LLVM-but-worse/maple-ir/blob/master/org.mapleir.ir/src/main/java/org/mapleir/ir/algorithms/BoissinotDestructor.java

[0xalpharush]

https://github.com/facebook/infer/ https://github.com/cs-au-dk/TIP https://github.com/cs-au-dk/jelly

[0xalpharush]

https://github.com/facebook/redex/blob/main/service/constant-propagation/IPConstantPropagationAnalysis.cpp

[0xalpharush]

semantic analysis https://clang.llvm.org/docs/InternalsManual.html#introduction https://github.com/rust-analyzer/rowan/blob/master/src/ast.rs http://blog.ezyang.com/2013/05/the-ast-typing-problem/

[0xalpharush]

https://github.com/facebook/pyre-check