Binsec_codex_lib.Analyze
module Ctypes = Binsec_codex_lib.Codex.Types.Ctypes
module Logger = Codex_logger
module Create () : sig ... end
val analyze_non_kernel : unit -> unit
val run : unit -> unit
val run_codex : unit -> unit