Module `Binsec_codex_lib.Cfg_analysis`

A graph of (address, call_stack) pair that can be translated to regular expressions. It can be used to store a graph of instructions or a graph of basic blocks.

module V : sig ... end

module E : sig ... end

module Cfg : sig ... end

module CfgRegex : 
  Fixpoint.Regex.S
    with type letter = Cfg.E.t
     and type t = Cfg.E.t Fixpoint.Regex.tagged_regex

module Reduce : sig ... end

module Wto : sig ... end

Module Binsec_codex_lib.Cfg_analysis

Module `Binsec_codex_lib.Cfg_analysis`