`macaw-symbolic`: Expose memory model read/write functionality

GaloisInc / macaw

Open source binary analysis tools.

BSD 3-Clause "New" or "Revised" License

208 stars 21 forks source link

`macaw-symbolic`: Expose memory model read/write functionality #452

Open RyanGlScott opened 2 days ago

RyanGlScott commented 2 days ago

This exposes the default implementations of MacawReadMem, MacawWriteMem, and friends as top-level functions in Data.Macaw.Symbolic and exports them. This makes it possible for downstream clients to perform memory reads and writes in a way that respects the macaw-symbolic memory model.

RyanGlScott commented 2 days ago

I'm assuming that the bodies of the functions were just copy/pasted without signficant changes.

Yes, that is correct.