Infer workflow
This page documents several ways of running Infer, that you can adapt to your own project.
tl; dr:
- Make sure your project is clean when you first run Infer on it (with
make clean
, orgradle clean
, or ...). - When running Infer several times in a row, either clean your project as in
step 1 in-between Infer runs, or add
--reactive
to theinfer
command. - These steps are not needed if you are not using an incremental build system,
for instance if you are analyzing single files with
infer run -- javac Hello.java
. - After a successful Infer run, you can explore Infer's reports in more details
by running
infer explore
from the same directory.
The two phases of an Infer runβ
Regardless of the input language (Java, Objective-C, or C), there are two main phases in an Infer run: