Infer
Infer 是一个静态分析工具,支持 Java、C++、Objective-C 和 C 语言,用于在代码上线前发现潜在 bug。该工具使用 OCaml 编写。
• Copy the embed code to showcase this product on your website
• Share on X to spread the word about this amazing tool
https://github.com/facebook/inferInfer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.