Module Binsec_codex_lib.Analyze

module Log : Tracelog.S

module LogInstruction : Tracelog.S

val in_bits : int -> Units.In_bits.t

module TypedC = Codex.Types.TypedC

module Type_check_tree = Codex.Types.Type_check_tree

module Logger = Codex_logger

module Create () : sig ... end

val analyze_non_kernel : unit -> unit

val initialize_codex : unit -> unit

val run : unit -> unit

val run_codex : unit -> unit