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.

Dino Distefano 7002d0d24c Adding a test in symbolic execution when a dangling uninitialized pointer is dereferenced ... Summary: The symbolic execution was not stopping in case an unitialized dangling pointer was passed to a function and then dereferenced inside the callee. What would happen is that a wrong footprint would be added to the unititialized pointer at the end of the function call in the caller proposition. This checks that if we do: frame * new_footprint checks that we do not add heap predicates to the frame into uninitialized local variables. If we can identify the variable then we raise a danglind pointer dereference. If instead we cannot give a good explanation we give an internal error. The latter case should be temporary. We should find a general way to raise dangling pointer deref instead of the internal error. I also fixed the model of getc that was the way I found the problem.		9 years ago
..
matchers	Complete copyright messages.	10 years ago
BUCK	initial synchronization	10 years ago
DebuggableTemporaryFolder.java	initial synchronization	10 years ago
InferError.java	Complete copyright messages.	10 years ago
InferException.java	Complete copyright messages.	10 years ago
InferResults.java	Adding a test in symbolic execution when a dangling uninitialized pointer is dereferenced	9 years ago
InferRunner.java	Complete copyright messages.	10 years ago
Language.java	Complete copyright messages.	10 years ago
TestType.java	Complete copyright messages.	10 years ago