search

GaloisInc / macaw

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

aarch32-symbolic: `Index` for `pc` #440

Open langston-barrett opened 2 months ago

langston-barrett commented 2 months ago

In #438, we introduced Indexes into ArchRegStruct for a lot of the ARM GPRs. It would be nice to have one for pc, but it doesn't really have the same shape as the others. It wouldn't be a lot of work to add it, so we should!