static-analysis-and-compilers real world implementation of analyses

llvm... too many to name.

rust mlir dataflow

Jan 16 '23 04:01 0xalpharush

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

Jan 25 '23 04:01 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

Jan 28 '23 01:01 0xalpharush

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

Feb 20 '23 19:02 0xalpharush

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

Apr 20 '23 21:04 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/

Sep 01 '23 03:09 0xalpharush

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

Sep 07 '23 17:09 0xalpharush