Driver (u.176070f781391d85dcf97346fedbd079.bap-std.2.1.0.doc.bap.Bap.Std.Disasm.Driver)

type state

type insns

val init : state

val scan : mem -> state -> state Bap_knowledge.knowledge

val explore : 
  ?entry:addr ->
  ?follow:(addr -> bool Bap_knowledge.knowledge) ->
  block:(mem -> insns -> 'n Bap_knowledge.knowledge) ->
  node:('n -> 'c -> 'c Bap_knowledge.knowledge) ->
  edge:('n -> 'n -> 'c -> 'c Bap_knowledge.knowledge) ->
  init:'c ->
  state ->
  'c Bap_knowledge.knowledge

val list_insns : ?rev:bool -> insns -> Bap_core_theory.Theory.Label.t list

val execution_order : 
  insns ->
  Bap_core_theory.Theory.Label.t list Bap_knowledge.knowledge