_shb
No user record in our sample, but _shb has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but _shb has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
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 Inferbo is add `-a bufferoverrun` to your…
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 summary of its behavior that can be used…
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 = x.f } z = x.f // possible NPE; x was…
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…
This paper describes some aspects of the system: http://research.microsoft.com/pubs/189242/pldi097-burckhardt...