facebook/infer ? reverse-engineered prompt

Build me this project from source and get it running end to end.

I want a simple way to install it, build it, and verify that it works on a sample Java or C project. If anything is missing, please figure out the right setup steps, fix the build, and make the process as smooth as possible for someone who is not deep into OCaml or build tools. Add clear instructions for how to run it after install, and make sure the README or install notes are up to date if they need it.

If there are any extra dependencies or platform specific steps, handle them or document them plainly. It’s fine to look up current docs online if needed.