Jeremy Dubreil
2288e66063
[infer][nullable checker] treat all aliases as not null when one is checked for null
...
Reviewed By: sblackshear
Differential Revision: D6235972
fbshipit-source-id: 2e4023b
7 years ago
Jeremy Dubreil
2228f7448d
[infer][nullable checker] add tests for the early return
...
Reviewed By: sblackshear
Differential Revision: D6891113
fbshipit-source-id: a614641
7 years ago
Jeremy Dubreil
ebea2a6ba1
[infer][clang] the nullable checker should not warn on pointer re-assignment
...
Summary: This is a hack to removes most of the false positives of this checker in Objective C.
Reviewed By: sblackshear
Differential Revision: D6239914
fbshipit-source-id: 1cf05de
7 years ago
Jeremy Dubreil
b3f75da37e
[infer][nullable checker] only report once when the return of a nullable method is derferenced several times
...
Summary: This is to avoid reporting several times the issue.
Reviewed By: mbouaziz
Differential Revision: D6230418
fbshipit-source-id: e51506c
7 years ago
Jeremy Dubreil
d85d185402
[infer][java] Enable the @Nullable checker on Java
...
Reviewed By: sblackshear
Differential Revision: D6215013
fbshipit-source-id: 4211319
7 years ago
Jeremy Dubreil
5e1b7faf97
[infer][clang] the nullable checker should not report on methods that have already been checked for null
...
Summary: The checker should not report nullable violations on repeated calls
Reviewed By: sblackshear
Differential Revision: D6195471
fbshipit-source-id: 16ff76d
7 years ago
Jeremy Dubreil
c4949f372e
[infer][clang] the nullability checker was not reporting when dereferencing a field of a nullable object
...
Summary: The checker was not previously reporting in those cases.
Reviewed By: sblackshear
Differential Revision: D6133710
fbshipit-source-id: e2e6363
7 years ago
Jeremy Dubreil
923a15fa60
[infer][clang] initial version of a nullable checker for Clang languages
...
Reviewed By: sblackshear
Differential Revision: D5970391
fbshipit-source-id: 6148094
7 years ago