Module `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.

Module Binsec_codex_lib.Dhunk_analysis

Module `Binsec_codex_lib.Dhunk_analysis`