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