You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jeremy Dubreil bafd1cf412 [infer][java] Infer should not suggest @Nullable on captured parameters ... Summary: This just makes the warnings silent for now. We may improve the analysis to check if the null check on the captured fields are consistent with the annotation on the corresponding parameters. Eradicate also has the same issue. I added a test to outline this. The biabduction analysis will also probably fail on the same of annotation lookup. We may want implement the proper fix at the level of `Annotation.field_has_annot`. Reviewed By: sblackshear Differential Revision: D5419243 fbshipit-source-id: 6460de8		7 years ago
..
checkers	[infer][java] Infer should not suggest @Nullable on captured parameters	7 years ago
crashcontext	[CLI] options to unset default checkers and to print active checkers	8 years ago
eradicate	[infer][java] Infer should not suggest @Nullable on captured parameters	7 years ago
harness	[infer][ondemand] make the Procname API more robust by using Typename.t for the class name part of a method name	8 years ago
infer	[infer][PR] add cursorClosedCheckNullCheckClosed test	7 years ago
quandary	[infer][quandary] add the tests from the bi-abduction based taint analysis to the Quandary tests	7 years ago
threadsafety	[thread-safety] Restrict propagation of attributes in an assignment; treat ownership propagation more strictly.	8 years ago
tracing	[infer][CLI] remove the Tracing analyzer option and only rely on the --tracing option for the biabduction analysis	8 years ago
.inferconfig	[cli] warn about deprecated options, clean up infer repo	8 years ago