search

GaloisInc / macaw

Open source binary analysis tools.
BSD 3-Clause "New" or "Revised" License
208 stars 21 forks source link

aarch32-symbolic: Named `Index`es into `ArchRegContext AArch32` #438

Closed langston-barrett closed 2 months ago

langston-barrett commented 2 months ago

... like the ones for x86_64. These will help in development of a concrete syntax for macaw-symbolic-aarch32, and can be helpful when setting up or interpreting the results from symbolic execution.