Module Binsec_codex_lib.Dhunk_analysis

module V : sig ... end
module E : sig ... end
module G : sig ... end
module Reduce : sig ... end
module Wto_alg : sig ... end
val exit_regexes : Binsec.Dhunk.t -> (Binsec.Dba.id * Dhunk_regex.t * Binsec.Virtual_address.t option) list

For each outer jump instruction in a dhunk, return the path expression of that DBA instruction in the dhunk, and optionnally the target address, if it statically known.