Hacker News Reader

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

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.

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

thanks.

> 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?

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