Infer Lab Instructions

Note: Infer works on Linux and MacOSX. If you use Windows, you'll need to run Infer in a Linux VM.

(1) Install Infer according to the instructions here: Follow the "Install Infer from source" variant of the instructions rather than the "Pre-compiled clang" variant.

(2) Run the tests to make sure everything works: make -j test.

(3) Set up your OCaml development environment by following the "Development dependency" instructions here: After doing this, open an ML file (e.g., infer/src/checkers/ and make sure syntax highlighting, jump-to-definition, etc. are working correctly.

(4) An optional part of the lab will involve using your new Infer analysis to find bugs in open-source Android code. Doing the following will make this easier: