Module Disasm.ProgramSource

Sourcetype t = private {
  1. instructions : Instr_cfg.t;
  2. callsites : Binsec.Virtual_address.Set.t;
  3. entrypoints : Binsec.Virtual_address.Set.t;
  4. unresolved_jumps : Binsec.Virtual_address.Set.t;
}
Sourceval empty : t
Sourceval create : ?callsites:Binsec.Virtual_address.Set.t -> ?entrypoints:Binsec.Virtual_address.Set.t -> ?unresolved_jumps:Binsec.Virtual_address.Set.t -> Instr_cfg.t -> t

Default value for all sets is the empty set

Sourceval pp : Stdlib.Format.formatter -> t -> unit