Binsec.Isa_helperval get_defs : unit -> (string * Dba.LValue.t) listget_defs () returns the list of known entities for the current architecture (see Kernel_options.Machine.isa).
Meaningfull for x86 only for now.
val core :
Loader_elf.Img.t ->
Virtual_address.t * (Dba.VarTag.t Dba.var * Dba.Expr.t) listcore img read and translate the content of NT_PRSTATUS note into entrypoint and initialisation values.
Meaningfull for x86 only for now.
val max_instruction_len : unit -> Size.Byte.tmax_instruction_len () returns the size of the longest valid instruction for the current architecture (see Kernel_options.Machine.isa).