3 ms·
The list is at http://fbinfer.com/docs/infer-bug-types.html http://fbinfer.com/docs/infer-bug-types.html For Java, it's Resource leaks and Null dereferences F
by jdp23 11y ago
The list is at http://fbinfer.com/docs/infer-bug-types.html 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 11y agoUnfortunately, it doesn't detect the big one in C - out of range subscripts/buffer overflows. That's hard, but other verifiers have done it.