Source file `binsec_codex_lib.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
(* generated by dune *)

(** @canonical Binsec_codex_lib.Analyze *)
module Analyze = Binsec_codex_lib__Analyze

(** @canonical Binsec_codex_lib.Arch_settings *)
module Arch_settings = Binsec_codex_lib__Arch_settings

(** @canonical Binsec_codex_lib.Benchmark *)
module Benchmark = Binsec_codex_lib__Benchmark

(** @canonical Binsec_codex_lib.Binsec2syntax_tree *)
module Binsec2syntax_tree = Binsec_codex_lib__Binsec2syntax_tree

(** @canonical Binsec_codex_lib.Cfg_analysis *)
module Cfg_analysis = Binsec_codex_lib__Cfg_analysis

(** @canonical Binsec_codex_lib.Codex_logger *)
module Codex_logger = Binsec_codex_lib__Codex_logger

(** @canonical Binsec_codex_lib.Codex_options *)
module Codex_options = Binsec_codex_lib__Codex_options

(** @canonical Binsec_codex_lib.Dba2Codex *)
module Dba2Codex = Binsec_codex_lib__Dba2Codex

(** @canonical Binsec_codex_lib.Dhunk_analysis *)
module Dhunk_analysis = Binsec_codex_lib__Dhunk_analysis

(** @canonical Binsec_codex_lib.Heap_typing *)
module Heap_typing = Binsec_codex_lib__Heap_typing

(** @canonical Binsec_codex_lib.Hooks *)
module Hooks = Binsec_codex_lib__Hooks

(** @canonical Binsec_codex_lib.Html *)
module Html = Binsec_codex_lib__Html

(** @canonical Binsec_codex_lib.Interval2symbol *)
module Interval2symbol = Binsec_codex_lib__Interval2symbol

(** @canonical Binsec_codex_lib.Record_cfg *)
module Record_cfg = Binsec_codex_lib__Record_cfg

(** @canonical Binsec_codex_lib.X86_arch *)
module X86_arch = Binsec_codex_lib__X86_arch