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 Reduce : sig ... end
module Wto : sig ... end