package binsec
Module Disasm.RecursiveSource
Source
val disassemble :
?jumps:Binsec.Dba_types.Caddress.Set.elt list Binsec.Dba_types.Caddress.Map.t ->
?stops:Binsec.Dba_types.Caddress.Set.t ->
?visited:Binsec.Virtual_address.Set.t ->
?worklist:Disasm_core.W.t ->
Program.t ->
Program.t