jon.recoil.org

Module Iplt.Relocation

A relocation for an IPLT entry.

type t
val offset : Iplt.Relocation.t -> int

Returns the offset within the IPLT section (entry_offset + 2).

val symbol : Iplt.Relocation.t -> string

Returns the IGOT symbol to relocate to.

val addend : Iplt.Relocation.t -> int64

Returns the relocation addend (-4 to account for RIP pointing past displacement).