Giters

GaloisInc / pate

Patches Assured up to Trace Equivalence

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

macaw does not handle dynamically-linked binaries - verifier can't handle PLT stubs for PPC

danmatichuk opened this issue · comments

commented

At the moment handling PLT stubs on PPC is blocked on the fact that macaw can't load dynamically-linked binaries.

Adding this support requires defining the relocation types for PPC.

Related to #165