Cache dereferences during symex to avoid repeatedly inserting large dereferences into SSA#5964

Merged

TGWDB merged 3 commits intodiffblue:developfrom

hannes-steffenhagen-diffblue:cse-dereference-cleanup

Apr 7, 2021

Commits on Apr 1, 2021

Add CSE dereference feature

Hannes Steffenhagen
authored and
TGWDB
committed
Add --symex-cache-dereferences flag

Hannes Steffenhagen
authored and
TGWDB
committed
Use sharing_map instead of unordered_map for cache
TGWDB
committed