search

arcana-lab / memoir

A case for representing data collections and objects in the LLVM IR
MIT License
12 stars 2 forks source link

Added ObjectSummary abstraction to AccessAnalysis #15

Closed tommymcm closed 2 years ago

tommymcm commented 2 years ago

There was an ill-defined hand-off between handling of allocations and fields. The ObjectSummary abstraction represents a dynamic MemOIR object that can be referenced as an Object in getStructField.

Relevant test: test_abstraction_nested