infer_clone

History

Jeremy Dubreil 82c4b716bf [eradicate] rename the warning raised when dereferencing nullable types Summary: The Eradicate backend is reporting nullable type errors, that are not always necessarily leading to null pointer exceptions. For example, the analysis is designed to be consistent with the Java type system and report on the following code: String foo(boolean test) { Object object = test ? new Object() : null; if (test) { return object.toString(); // the analysis reports here } } even though the code will not crash. In order to make this aspect clear, this diff renames the warnings `Null Method Call` and `Null Field Access` into `Nullable Dereference` Reviewed By: ngorogiannis Differential Revision: D14001979 fbshipit-source-id: ff1285283		6 years ago
..
bufferoverrun	[inferbo] Suppress ALLOC_IS_ZERO for C++'s array object	6 years ago
checkers	[infer][nullsafe] add a NULLSAFE_ prefix to the internal name of the Nullsafe errors	6 years ago
classloads	[classloads] add `replace` target to tests	6 years ago
eradicate	[eradicate] rename the warning raised when dereferencing nullable types	6 years ago
hoisting	[inferbo] Fix array member access in Java	6 years ago
hoistingExpensive	[purity] Always show PURE_FUNCTION issues	6 years ago
infer	[java] model `Double` like `Integer`	6 years ago
lab	resource leaks tutorial	6 years ago
litho	[RFC] Format all java files	6 years ago
performance	[inferbo] Widening threshold by comparison	6 years ago
purity	[purity] Mark unmodeled functions as modifying global state	6 years ago
quandary	[Hil] Fix failure in exception node	6 years ago
racerd	[racerd] fix bug in ownership transitivity	6 years ago
starvation	[starvation] improve 2-way deadlock reports	6 years ago
tracing	[infer] remove the special case to always create summaries for the Java methods	6 years ago
.inferconfig	[kill -a][4/4] kill `Config.analyzer`, deprecate `--analyzer`	6 years ago