Symex: synthesise clean references to subfields and/or array indices when addressing subexpressions#283
Merged
kroening merged 5 commits intodiffblue:masterfrom Nov 7, 2016
smowton:symex_deref_clean_struct_member
Commits
Commits on Oct 28, 2016
- committed
- committed
- committed
- committed
- committed
