macaw-ppc was previously assuming that addresses are absolute, which is not true for position independent executables. Extracting the offset from the address is sufficient for our purposes here (note that taking the offset from the MemSegmentOffset would not be right, as that offset is relative to the segment start).
macaw-ppc
was previously assuming that addresses are absolute, which is not true for position independent executables. Extracting the offset from the address is sufficient for our purposes here (note that taking the offset from theMemSegmentOffset
would not be right, as that offset is relative to the segment start).This is the exact same issue that was noticed in https://github.com/GaloisInc/macaw/commit/37d8029c00d99335625ab615c7ae94fba18f9574 (in
macaw-aarch32
), but that commit forgot to fix things on themacaw-ppc
end.