OCaml

infer

meta·OCaml

Meta 开源的静态分析工具，能在编译前扫描 Java、C、C++ 和 Objective-C 代码，提前发现空指针、资源泄漏等潜在缺陷。

Performant type-checking for python.

把 ARM、MIPS、PowerPC 等架构的机器码提升为统一中间表示，方便做逆向分析、指令语义研究和动态模拟。