Extensions to dereferencing as used by path-symex - #152

Closed

tautschnig wants to merge 3 commits into

diffblue:developfrom

tautschnig:symex-deref

Commits on Sep 2, 2017

Extended dereferencet to handle more cases, explicitly report back when dereferencing would fail
tautschnig
committed
89fa342
symex: handle dereferencing failures
tautschnig
committed
93d1c78
Pointer dereferencing of integers is invalid
tautschnig
committed
26790dd