macaw-x86-syntax: Syntactic sugar for macaw-x86-symbolic CFGs

GaloisInc / macaw

Open source binary analysis tools.

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

208 stars 21 forks source link

macaw-x86-syntax: Syntactic sugar for macaw-x86-symbolic CFGs #422

Closed langston-barrett closed 3 months ago

langston-barrett commented 3 months ago

Towards #349

langston-barrett commented 3 months ago

Now that we have macaw-x86-syntax, it would also be nice to have macaw-*-syntax packages for the other ISAs that macaw supports (AArch32, PowerPC, and RISC-V). Could you file an issue about this as a reminder to do this later?

Perhaps we just keep #349 open, and add a comment saying that this has been done for x86_64 but the other architectures need it too?

RyanGlScott commented 3 months ago

That works for me.