Field sensitive goto-symex#2574

Merged

tautschnig merged 10 commits intodiffblue:developfrom

tautschnig:field-sensitivity

Apr 16, 2019

Commits on Apr 16, 2019

Reinstate symex-deref's `write` parameter

smowton
authored and
tautschnig
committed
Field-sensitive level-2 SSA renaming
tautschnig
committed
Temporarily disable field-sensitivity for arrays

smowton
authored and
tautschnig
committed
Use `..` and `[[]]` for SSA expression field separator

smowton
authored and
tautschnig
committed
Field sensitivity: avoid inheriting L2 renaming from struct symbols

smowton
authored and
tautschnig
committed
Apply field-sensitivity expansion after removing derefs

smowton
authored and
tautschnig
committed
Remove composite object from the constant propagator when a field is updated

smowton
authored and
tautschnig
committed
Comment on and clarify field-sensitivity-specific expression transformations

smowton
authored and
tautschnig
committed
Move field expansion outside goto_symex_statet::assignment

smowton
authored and
tautschnig
committed
field_sensitivityt::get_fields: recurse on operands even when input is already L2

smowton
authored and
tautschnig
committed