search

GaloisInc / pate

Patches Assured up to Trace Equivalence
Other
15 stars 2 forks source link

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

Closed danmatichuk closed 10 months ago

danmatichuk commented 2 years ago

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