Up – Package index » The Binsec frontend to the Codex static analyzer » Library binsec_codex.lib » Binsec_codex_lib » Cfg_analysis

Module `Binsec_codex_lib.Cfg_analysis`Source

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.

Sourcemodule V : sig ... end

Sourcemodule E : sig ... end

Sourcemodule Cfg : sig ... end

Source

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

Sourcemodule Reduce : sig ... end

Sourcemodule Wto : sig ... end