Viewing profile — _shb

Infer has a thread-safety checker that identifies races in classes annotated with `@ThreadSafe` ( http://fbinfer.com/docs/experimental-checkers.html ).

I added some documentation on using Inferbo and other experimental checkers we are working on: http://fbinfer.com/docs/experimental-checkers.html . All you need to do to use Inferb…

Thanks for pointing this out! Fixed in an update to the post.

Infer does bottom-up analysis: it starts at the bottom of the call graph and analyzes each procedure once independently of its callers. Analyzing the procedure produces a concise s…

There was indeed a typo in the description; it has been fixed. Sorry for the confusion!

To paint these tools with an overfly broad brush, they linter-like in that they perform shallow intra-procedural analysis to identify common bug patterns (e.g., if (x != null) { y …

Yes, it can be used with most Java code you can build on the command line. Just run "infer -- ". Currently, this works with javac, Ant, Maven, and Gradle. See http://fbinfer.com/do…

This paper describes some aspects of the system: http://research.microsoft.com/pubs/189242/pldi097-burckhardt...