News for hackers. Stuff that matters.
Re:Open-sourcing Facebook Infer: Identify bugs before you ship by _shb on Thursday June 11, 2015 @12:37PM (#9700710)
Yes, it can be used with most Java code you can build on the command line. Just run "infer -- <your_build_command>". Currently, this works with javac, Ant, Maven, and Gradle. See http://fbinfer.com/docs/hello-world.html#hello-world-android for a Gradle example.
Re:Open-sourcing Facebook Infer: Identify bugs before you ship by warmfuzzykitten on Saturday June 13, 2015 @02:55PM (#9712143)
I thought I'd try it with a fairly large project (353K lines of Java) at https://git.eclipse.org/c/hudson/org.eclipse.hudson.core.git...

This is a multi-level project. At both the top level and the individual module level, the command below seems to do exactly nothing. Actual output:

org.eclipse.hudson.core$ infer -- mvn build

org.eclipse.hudson.core$ cd hudson-core/

hudson-core$ infer -- mvn build

hudson-core$