Program (p.binsec.0.7.3.doc.binsec.Binsec.Disasm.Program)

type t = private {

instructions : Instr_cfg.t;
callsites : Virtual_address.Set.t;
entrypoints : Virtual_address.Set.t;
unresolved_jumps : Virtual_address.Set.t;

}

val empty : t

val create : 
  ?callsites:Virtual_address.Set.t ->
  ?entrypoints:Virtual_address.Set.t ->
  ?unresolved_jumps:Virtual_address.Set.t ->
  Instr_cfg.t ->
  t

Default value for all sets is the empty set

val pp : Format.formatter -> t -> unit