Source file binsec.ml

(* generated by dune *)

(** @canonical Binsec.Array_utils *)
module Array_utils = Binsec__Array_utils

(** @canonical Binsec.Astbuilder *)
module Astbuilder = Binsec__Astbuilder

(** @canonical Binsec.Base_logger *)
module Base_logger = Binsec__Base_logger

(** @canonical Binsec.Basic_types *)
module Basic_types = Binsec__Basic_types

(** @canonical Binsec.Bbsse_backward *)
module Bbsse_backward = Binsec__Bbsse_backward

(** @canonical Binsec.Bbsse_bb_paths *)
module Bbsse_bb_paths = Binsec__Bbsse_bb_paths

(** @canonical Binsec.Bbsse_lexer *)
module Bbsse_lexer = Binsec__Bbsse_lexer

(** @canonical Binsec.Bbsse_options *)
module Bbsse_options = Binsec__Bbsse_options

(** @canonical Binsec.Bbsse_parser *)
module Bbsse_parser = Binsec__Bbsse_parser

(** @canonical Binsec.Bbsse_smt *)
module Bbsse_smt = Binsec__Bbsse_smt

(** @canonical Binsec.Bbsse_types *)
module Bbsse_types = Binsec__Bbsse_types

(** @canonical Binsec.Binpatcher *)
module Binpatcher = Binsec__Binpatcher

(** @canonical Binsec.Binpatcher_options *)
module Binpatcher_options = Binsec__Binpatcher_options

(** @canonical Binsec.Binstream *)
module Binstream = Binsec__Binstream

(** @canonical Binsec.Bitset *)
module Bitset = Binsec__Bitset

(** @canonical Binsec.Bitvector *)
module Bitvector = Binsec__Bitvector

(** @canonical Binsec.Bw_main *)
module Bw_main = Binsec__Bw_main

(** @canonical Binsec.Bw_options *)
module Bw_options = Binsec__Bw_options

(** @canonical Binsec.Cfg *)
module Cfg = Binsec__Cfg

(** @canonical Binsec.Cfgraph *)
module Cfgraph = Binsec__Cfgraph

(** @canonical Binsec.Cli *)
module Cli = Binsec__Cli

(** @canonical Binsec.Colors *)
module Colors = Binsec__Colors

(** @canonical Binsec.Concrete *)
module Concrete = Binsec__Concrete

(** @canonical Binsec.Dba *)
module Dba = Binsec__Dba

(** @canonical Binsec.Dba_printer *)
module Dba_printer = Binsec__Dba_printer

(** @canonical Binsec.Dba_to_formula *)
module Dba_to_formula = Binsec__Dba_to_formula

(** @canonical Binsec.Dba_types *)
module Dba_types = Binsec__Dba_types

(** @canonical Binsec.Dba_utils *)
module Dba_utils = Binsec__Dba_utils

(** @canonical Binsec.Dba_visitor *)
module Dba_visitor = Binsec__Dba_visitor

(** @canonical Binsec.Dbacsl_parser *)
module Dbacsl_parser = Binsec__Dbacsl_parser

(** @canonical Binsec.Dbacsl_token *)
module Dbacsl_token = Binsec__Dbacsl_token

(** @canonical Binsec.Decode_utils *)
module Decode_utils = Binsec__Decode_utils

(** @canonical Binsec.Dhunk *)
module Dhunk = Binsec__Dhunk

(** @canonical Binsec.Directive *)
module Directive = Binsec__Directive

(** @canonical Binsec.Disasm *)
module Disasm = Binsec__Disasm

(** @canonical Binsec.Disasm_cfg *)
module Disasm_cfg = Binsec__Disasm_cfg

(** @canonical Binsec.Disasm_core *)
module Disasm_core = Binsec__Disasm_core

(** @canonical Binsec.Disasm_options *)
module Disasm_options = Binsec__Disasm_options

(** @canonical Binsec.Dwarf *)
module Dwarf = Binsec__Dwarf

(** @canonical Binsec.Dwarf_cunit *)
module Dwarf_cunit = Binsec__Dwarf_cunit

(** @canonical Binsec.Dwarf_expr *)
module Dwarf_expr = Binsec__Dwarf_expr

(** @canonical Binsec.Dwarf_frame *)
module Dwarf_frame = Binsec__Dwarf_frame

(** @canonical Binsec.Dwarf_lines *)
module Dwarf_lines = Binsec__Dwarf_lines

(** @canonical Binsec.Dwarf_options *)
module Dwarf_options = Binsec__Dwarf_options

(** @canonical Binsec.Elf_options *)
module Elf_options = Binsec__Elf_options

(** @canonical Binsec.Errors *)
module Errors = Binsec__Errors

(** @canonical Binsec.File_utils *)
module File_utils = Binsec__File_utils

(** @canonical Binsec.Formula *)
module Formula = Binsec__Formula

(** @canonical Binsec.Formula_decoder *)
module Formula_decoder = Binsec__Formula_decoder

(** @canonical Binsec.Formula_main *)
module Formula_main = Binsec__Formula_main

(** @canonical Binsec.Formula_options *)
module Formula_options = Binsec__Formula_options

(** @canonical Binsec.Formula_pp *)
module Formula_pp = Binsec__Formula_pp

(** @canonical Binsec.Formula_to_smtlib *)
module Formula_to_smtlib = Binsec__Formula_to_smtlib

(** @canonical Binsec.Formula_transformation *)
module Formula_transformation = Binsec__Formula_transformation

(** @canonical Binsec.Formula_utils *)
module Formula_utils = Binsec__Formula_utils

(** @canonical Binsec.Fstack *)
module Fstack = Binsec__Fstack

(** @canonical Binsec.Generic_decoder *)
module Generic_decoder = Binsec__Generic_decoder

(** @canonical Binsec.Generic_decoder_sig *)
module Generic_decoder_sig = Binsec__Generic_decoder_sig

(** @canonical Binsec.Ghidra_cfg *)
module Ghidra_cfg = Binsec__Ghidra_cfg

(** @canonical Binsec.Hashamt *)
module Hashamt = Binsec__Hashamt

(** @canonical Binsec.Htx_main *)
module Htx_main = Binsec__Htx_main

(** @canonical Binsec.Htx_options *)
module Htx_options = Binsec__Htx_options

(** @canonical Binsec.Ida *)
module Ida = Binsec__Ida

(** @canonical Binsec.Ida_cfg *)
module Ida_cfg = Binsec__Ida_cfg

(** @canonical Binsec.Ida_cg *)
module Ida_cg = Binsec__Ida_cg

(** @canonical Binsec.Ida_options *)
module Ida_options = Binsec__Ida_options

(** @canonical Binsec.Ida_utils *)
module Ida_utils = Binsec__Ida_utils

(** @canonical Binsec.Infos *)
module Infos = Binsec__Infos

(** @canonical Binsec.Instr_cfg *)
module Instr_cfg = Binsec__Instr_cfg

(** @canonical Binsec.Instruction *)
module Instruction = Binsec__Instruction

(** @canonical Binsec.Interval *)
module Interval = Binsec__Interval

(** @canonical Binsec.Isa_helper *)
module Isa_helper = Binsec__Isa_helper

(** @canonical Binsec.Kernel_core *)
module Kernel_core = Binsec__Kernel_core

(** @canonical Binsec.Kernel_functions *)
module Kernel_functions = Binsec__Kernel_functions

(** @canonical Binsec.Kernel_options *)
module Kernel_options = Binsec__Kernel_options

(** @canonical Binsec.Lexer *)
module Lexer = Binsec__Lexer

(** @canonical Binsec.Lexer_ghidra *)
module Lexer_ghidra = Binsec__Lexer_ghidra

(** @canonical Binsec.Lexer_infos *)
module Lexer_infos = Binsec__Lexer_infos

(** @canonical Binsec.List_utils *)
module List_utils = Binsec__List_utils

(** @canonical Binsec.Loader *)
module Loader = Binsec__Loader

(** @canonical Binsec.Loader_buf *)
module Loader_buf = Binsec__Loader_buf

(** @canonical Binsec.Loader_dump *)
module Loader_dump = Binsec__Loader_dump

(** @canonical Binsec.Loader_elf *)
module Loader_elf = Binsec__Loader_elf

(** @canonical Binsec.Loader_pe *)
module Loader_pe = Binsec__Loader_pe

(** @canonical Binsec.Loader_sigs *)
module Loader_sigs = Binsec__Loader_sigs

(** @canonical Binsec.Loader_types *)
module Loader_types = Binsec__Loader_types

(** @canonical Binsec.Loader_utils *)
module Loader_utils = Binsec__Loader_utils

(** @canonical Binsec.Location *)
module Location = Binsec__Location

(** @canonical Binsec.Logger *)
module Logger = Binsec__Logger

(** @canonical Binsec.Lreader *)
module Lreader = Binsec__Lreader

(** @canonical Binsec.Machine *)
module Machine = Binsec__Machine

(** @canonical Binsec.Mcount_main *)
module Mcount_main = Binsec__Mcount_main

(** @canonical Binsec.Mcount_options *)
module Mcount_options = Binsec__Mcount_options

(** @canonical Binsec.Mnemonic *)
module Mnemonic = Binsec__Mnemonic

(** @canonical Binsec.Natural *)
module Natural = Binsec__Natural

(** @canonical Binsec.Opaque *)
module Opaque = Binsec__Opaque

(** @canonical Binsec.Parse_helpers *)
module Parse_helpers = Binsec__Parse_helpers

(** @canonical Binsec.Parse_utils *)
module Parse_utils = Binsec__Parse_utils

(** @canonical Binsec.Parsepin *)
module Parsepin = Binsec__Parsepin

(** @canonical Binsec.Parser *)
module Parser = Binsec__Parser

(** @canonical Binsec.Parser_ghidra *)
module Parser_ghidra = Binsec__Parser_ghidra

(** @canonical Binsec.Parser_infos *)
module Parser_infos = Binsec__Parser_infos

(** @canonical Binsec.Predba *)
module Predba = Binsec__Predba

(** @canonical Binsec.Prettytbl *)
module Prettytbl = Binsec__Prettytbl

(** @canonical Binsec.Print_utils *)
module Print_utils = Binsec__Print_utils

(** @canonical Binsec.Prover *)
module Prover = Binsec__Prover

(** @canonical Binsec.Riscv_arch *)
module Riscv_arch = Binsec__Riscv_arch

(** @canonical Binsec.Riscv_options *)
module Riscv_options = Binsec__Riscv_options

(** @canonical Binsec.Riscv_to_dba *)
module Riscv_to_dba = Binsec__Riscv_to_dba

(** @canonical Binsec.Runtime *)
module Runtime = Binsec__Runtime

(** @canonical Binsec.Senv *)
module Senv = Binsec__Senv

(** @canonical Binsec.Sequence *)
module Sequence = Binsec__Sequence

(** @canonical Binsec.Sigs *)
module Sigs = Binsec__Sigs

(** @canonical Binsec.Simplification_dba *)
module Simplification_dba = Binsec__Simplification_dba

(** @canonical Binsec.Simplification_dba_block *)
module Simplification_dba_block = Binsec__Simplification_dba_block

(** @canonical Binsec.Simplification_dba_prog *)
module Simplification_dba_prog = Binsec__Simplification_dba_prog

(** @canonical Binsec.Simplification_dba_utils *)
module Simplification_dba_utils = Binsec__Simplification_dba_utils

(** @canonical Binsec.Simplification_options *)
module Simplification_options = Binsec__Simplification_options

(** @canonical Binsec.Simulation *)
module Simulation = Binsec__Simulation

(** @canonical Binsec.Size *)
module Size = Binsec__Size

(** @canonical Binsec.Smt_model *)
module Smt_model = Binsec__Smt_model

(** @canonical Binsec.Smtlib *)
module Smtlib = Binsec__Smtlib

(** @canonical Binsec.Smtlib_lexer *)
module Smtlib_lexer = Binsec__Smtlib_lexer

(** @canonical Binsec.Smtlib_options *)
module Smtlib_options = Binsec__Smtlib_options

(** @canonical Binsec.Smtlib_parser *)
module Smtlib_parser = Binsec__Smtlib_parser

(** @canonical Binsec.Smtlib_pp *)
module Smtlib_pp = Binsec__Smtlib_pp

(** @canonical Binsec.Smtlib_to_formula *)
module Smtlib_to_formula = Binsec__Smtlib_to_formula

(** @canonical Binsec.Smtlib_utils *)
module Smtlib_utils = Binsec__Smtlib_utils

(** @canonical Binsec.Solver *)
module Solver = Binsec__Solver

(** @canonical Binsec.Sse *)
module Sse = Binsec__Sse

(** @canonical Binsec.Sse_graph *)
module Sse_graph = Binsec__Sse_graph

(** @canonical Binsec.Sse_lexer *)
module Sse_lexer = Binsec__Sse_lexer

(** @canonical Binsec.Sse_options *)
module Sse_options = Binsec__Sse_options

(** @canonical Binsec.Sse_pack *)
module Sse_pack = Binsec__Sse_pack

(** @canonical Binsec.Sse_parser *)
module Sse_parser = Binsec__Sse_parser

(** @canonical Binsec.Sse_prune *)
module Sse_prune = Binsec__Sse_prune

(** @canonical Binsec.Sse_smt *)
module Sse_smt = Binsec__Sse_smt

(** @canonical Binsec.Sse_symbolic *)
module Sse_symbolic = Binsec__Sse_symbolic

(** @canonical Binsec.Sse_tokens *)
module Sse_tokens = Binsec__Sse_tokens

(** @canonical Binsec.Sse_types *)
module Sse_types = Binsec__Sse_types

(** @canonical Binsec.Sse_utils *)
module Sse_utils = Binsec__Sse_utils

(** @canonical Binsec.String_utils *)
module String_utils = Binsec__String_utils

(** @canonical Binsec.Subprocess *)
module Subprocess = Binsec__Subprocess

(** @canonical Binsec.Transfer_functions *)
module Transfer_functions = Binsec__Transfer_functions

(** @canonical Binsec.Utils *)
module Utils = Binsec__Utils

(** @canonical Binsec.Virtual_address *)
module Virtual_address = Binsec__Virtual_address

(** @canonical Binsec.Worklist *)
module Worklist = Binsec__Worklist

(** @canonical Binsec.X86Instruction *)
module X86Instruction = Binsec__X86Instruction

(** @canonical Binsec.X86Types *)
module X86Types = Binsec__X86Types

(** @canonical Binsec.X86Util *)
module X86Util = Binsec__X86Util

(** @canonical Binsec.X86_options *)
module X86_options = Binsec__X86_options

(** @canonical Binsec.X86decoder *)
module X86decoder = Binsec__X86decoder

(** @canonical Binsec.X86pp *)
module X86pp = Binsec__X86pp

(** @canonical Binsec.X86toDba *)
module X86toDba = Binsec__X86toDba

(** @canonical Binsec.Xtrasec *)
module Xtrasec = Binsec__Xtrasec

(** @canonical Binsec.Xtrasec_options *)
module Xtrasec_options = Binsec__Xtrasec_options