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.

Sam Blackshear 30a7a2fd8e Fixing Symexec_memory error that occurs when dereferencing the return value of an undefined function ... Summary: @​public Infer previously did not work correctly when a function returns the result of a skip function: ``` retUndef() { x = undefined(); return x; } derefUndef() { y = retUndef(); y.doSomething(); // Symexec_memory_error here, prevents spec inference } ``` The problem is that angelic mode did not know to add the return value of `retUndef()` to the footprint. This diff fixes the problem by adding return values marked with the `Aundef` attribute to the footprint. This is done lazily (e.g., a value only gets added to the footprint when you try to deref it). Reviewed By: @jvillard Differential Revision: D2444929		9 years ago
..
ActivityLeaksTest.java	[Infer][models] Modeling Handler.postDelayed and similar to detect more Activity leaks	10 years ago
AnalysisStopsTest.java	[copyrightor] format start and end of copyright comments	10 years ago
ArrayOutOfBoundsTest.java	Complete copyright messages.	10 years ago
AutoGeneratedTest.java	[copyrightor] format start and end of copyright comments	10 years ago
BUCK	initial synchronization	10 years ago
BuiltinsTest.java	[copyrightor] format start and end of copyright comments	10 years ago
ClassCastExceptionsTest.java	Complete copyright messages.	10 years ago
CloseableAsResourceTest.java	[infer][java] the detection of a resource leak should not prevent the symbolic execution to proceed	10 years ago
CursorLeaksTest.java	Complete copyright messages.	10 years ago
DivideByZeroTest.java	Complete copyright messages.	10 years ago
FilterInputStreamLeaksTest.java	Complete copyright messages.	10 years ago
FilterOutputStreamLeaksTest.java	Complete copyright messages.	10 years ago
HashMapModelTest.java	[copyrightor] format start and end of copyright comments	10 years ago
IntegerClassTest.java	Complete copyright messages.	10 years ago
JunitAssertionTest.java	Complete copyright messages.	10 years ago
NullPointerExceptionTest.java	Fixing Symexec_memory error that occurs when dereferencing the return value of an undefined function	9 years ago
ReaderLeaksTest.java	Complete copyright messages.	10 years ago
ResourceLeaksTest.java	Complete copyright messages.	10 years ago
ReturnValueIgnoredTest.java	Complete copyright messages.	10 years ago
WriterLeaksTest.java	Complete copyright messages.	10 years ago