Module Binsec_codex_lib

module Analyze : sig ... end

module Arch_settings : sig ... end

This module signature describes two rather distinct components:

module Benchmark : sig ... end

module Binsec2syntax_tree : sig ... end

This file provides the decomposition from specific Dba.Expr.t to the language-agnostic Syntax_tree.t, and checks that the index used to identify expressions are correct (internally, using a single function as the source of truth for this decomposition).

module Cfg_analysis : sig ... end

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 Codex_logger : sig ... end

module Codex_options : sig ... end

module Dba2Codex : sig ... end

module Dhunk_analysis : sig ... end

module Heap_typing : sig ... end

module Hooks : sig ... end

module Html : sig ... end

module Interval2symbol : sig ... end

module Record_cfg : sig ... end

module X86_arch : sig ... end