FRDCSA | git codebases | infer

[Project image]

Jump to: Project Description

Project Description

infer is a static analysis tool for Java, Objective-C and C, written in [OCaml](https://ocaml.org/). Check out the documentation at . See [FILES.md](FILES.md) for a quick overview of the files in `infer/bin`.

This page is part of the FWeb package.
Last updated Sat Oct 26 17:00:23 EDT 2019 .