Seems like mentioning the sorts of bugs this can detect should be the most impor...

jdp23 · on June 11, 2015

The list is at http://fbinfer.com/docs/infer-bug-types.html

For Java, it's Resource leaks and Null dereferences

For C and Objective C, the list is Resource leak Memory leak Null dereference Parameter not null checked Ivar not null checked Premature nil termination argument

Animats · on June 11, 2015

Unfortunately, it doesn't detect the big one in C - out of range subscripts/buffer overflows. That's hard, but other verifiers have done it.

amirmc · on June 11, 2015

I found a list at http://fbinfer.com/docs/infer-bug-types.html

adamnemecek · on June 11, 2015

thanks.

hiou · on June 11, 2015

> At present, the analyzer reports problems caused by null pointer access and resource and memory leaks, which cause a large percentage of app crashes.

Did you mean you were looking for something more specific?

adamnemecek · on June 11, 2015

I was looking for something like this http://fbinfer.com/docs/infer-bug-types.html