theblatte

3 ms·

1. 1.▲
   by theblatte 11y ago

   In this case, Infer is correct: the method test() by itself is harmless, because it could be the case that "s" has been initialised before it is called. Infer does a bottom-up analysis (callees before callers), and will infer that
2. 2.▲
   by theblatte 11y ago

   Infer computes fixpoints whenever there is a cycle in the call graph, until it reaches stable procedure summaries or timeouts.
3. 3.▲
   by theblatte 11y ago

   (Infer dev here) One strength of Infer is that it is inter-procedural, yet not whole-program: each procedure gets analyzed independently. So it's cheap enough to run on large codebases while still able to find deep inter-procedural bug
4. 4.▲
   by theblatte 11y ago

   I'm posting from that very room right now.