Module Binsec.Dwarf_expr

val map : int -> Dba.Expr.t

map n according to the DWARF Register Number Mapping

type t
val load : [ `x32 | `x64 ] -> Loader_buf.cursor -> t

load cursor read a DWARF expression at the current cursor position

val loc : ?cfa:Dba.Expr.t -> t -> Dba.Expr.t

loc ~cfa expr interpret the expression expr according to the Canonical Frame Address

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