Binsec_codex_lib.Dhunk_analysis
module V : sig ... end
module E : sig ... end
module G : sig ... end
module Dhunk_regex :
Fixpoint.Regex.S
with type letter = G.E.t
and type t = G.E.t Fixpoint.Regex.tagged_regex
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.