Module Disasm_dyn_infos

module Disasm_dyn_infos: sig .. end

val get_alive_branches : unit -> Dba.address option Dba_types.Caddress.Map.t