Binsec_codex_lib
module Analysis_settings : sig ... end
module Analyze : sig ... end
module Arch_settings : sig ... end
This module signature describes two rather distinct components:
module Benchmark : sig ... end
module Builtin_types : sig ... end
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 : sig ... end
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