Module Binsec.Dwarf_frame

type rule =
  1. | Undef
  2. | Same
  3. | Value of Dba.Expr.t
type entry
val addresses : entry -> int Interval.t

address entry return the address range of the entry

val cfa : entry -> Dba.Expr.t

cfa entry return the canonical frame address of the entry

val rule : int -> entry -> rule

rule n entry return the rule of the n'th column of the entry

type t
val load : Loader.Img.t -> t

load img extract and interpret the content of either .debug_frame or .eh_frame section

val fold : ('a -> return_address:int -> columns:int array -> entry -> 'a) -> 'a -> t -> 'a

fold f frame iterate through the frame matrix columns is the list of valid column indexes of the given entry return_address is the column index of the return address of the function

val iter : (return_address:int -> columns:int array -> entry -> unit) -> t -> unit

iter frame same as fold but without return

include Sigs.PRINTABLE with type t := t
val pp : Format.formatter -> t -> unit