Module Dwarf.FrameSource

Sourcetype rule =
  1. | Undef
  2. | Same
  3. | Value of Binsec_kernel_dba.Dba.Expr.t
Sourcetype entry

address entry return the address range of the entry

cfa entry return the canonical frame address of the entry

Sourceval rule : int -> entry -> rule

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

Sourcetype t

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

Sourceval 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

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

iter frame same as fold but without return

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