←Backfacebook/infer0Copy as MarkdownView on GitHub↗15,646 stars·2,093 forks·OCaml·MIT·0 viewsfbinfer.com↗InferFeaturesCode Analysis - Static analysis tool for verifying code correctness.Code Analysis and Linters - Static analyzer for detecting bugs in C and Java.Static Analysis - Static analyzer for Java, C, and Objective-C.