jon.recoil.org

Module Arm64_binary_emitter.Relocation

module Kind : sig ... end
type t = {
  1. offset_from_section_beginning : int;
  2. kind : Kind.t;
}
val offset_from_section_beginning : t -> int
val primary_target : t -> Arm64_ast.Ast.Symbol.target
val all_targets : t -> Arm64_ast.Ast.Symbol.target list
val all_targets_with_addends : t -> (Arm64_ast.Ast.Symbol.target * int) list
val is_got_reloc : t -> bool
val is_plt_reloc : t -> bool
val get_addend : Kind.t -> int
val target_to_string : Arm64_ast.Ast.Symbol.target -> string

Convert a target to its string representation for use as a lookup key or in error messages.

val compute_value : t -> target_addr:int64 -> place_address:int64 -> read_instruction:(unit -> int32) -> lookup_target:(Arm64_ast.Ast.Symbol.target -> int64 option) -> (int64, string) result