Analyze Java without running the build

[martinschaef]

Is there a way to run infer without executing the javac commands? I have a mechanism in place that creates something like a compilation-database of my java build with all the javac commands and all the arguments. Now, I want to run infer on that data without actually executing the build again. Is there a way to do that?

[jeremydubreil]

Yes, if you know where the source files are and where the build command saved the compiled class files, you can run:

infer --classpath <path to the standard library CLASSPATH used by the build> --generated-classes <path to compiled class> --sourcepath <path to source files>

and Infer will try to match the compiled classes and the source files by matching the package declaration in the bytecode with the path of the files in the filesystem hierarchy.

[martinschaef]

That works! Thanks. Are these options documented? infer --help didn't report them

[SolomonSun2010]

Good.