C++: Support dynamic memory allocations in IR alias analysis#2797

Merged

jbj merged 11 commits into

github:masterfrom

rdmarsh2:rdmarsh/cpp/malloc-alias-locations

Mar 2, 2020

Commits on Feb 8, 2020

C++: tests for alias analysis of malloc
Robert Marsh
committed
C++: Dynamic allocations in IR alias analysis
Robert Marsh
committed
C++/C#: sync changes
Robert Marsh
committed
C++: document DynamicAllocationInstruction
Robert Marsh
committed

Commits on Feb 11, 2020

C++: respond to PR comments.
Robert Marsh
committed
C++/C#: autoformat Opcode.qll
Robert Marsh
committed

Commits on Feb 12, 2020

C++: remove accidental commit
Robert Marsh
committed

Commits on Feb 13, 2020

Fix typo
Dave Bartolomeo
authored

Commits on Feb 20, 2020

Merge branch 'master' into rdmarsh/cpp/malloc-alias-locations
Robert Marsh
committed

Commits on Feb 26, 2020

Merge master for submodule update
Robert Marsh
committed

Commits on Feb 27, 2020

Merge branch 'master' into rdmarsh/cpp/malloc-alias-locations
Robert Marsh
committed