Module Binsec_codex_lib.Codex_options

val type_of_string : string -> Types.TypedC.typ

Parses a type from a string

val address_of_string : string -> Z.t

val directive_of_string : string -> [> `explore | `nop | `return_unknown of Types.TypedC.typ | `skip_to of Binsec.Virtual_address.t | `stop ]

include sig ... end

val is_enabled : unit -> bool

val enable : unit -> unit

val disable : unit -> unit

module Logger : Binsec.Logger.S

module Debug_level : sig ... end

module Loglevel : sig ... end

module Quiet : sig ... end

module Builder : sig ... end

module ApplicationFile : sig ... end

module TypeConfigurationFile : sig ... end

module X86Types : sig ... end

module UseShape : sig ... end

module NbTasks : sig ... end

module AnalyzeKernel : sig ... end

module DynThreads : sig ... end

module GlobalsTypes : sig ... end

module Hooks : sig ... end

module Focusing : sig ... end

module Output_Html : sig ... end

module UseLoopDomain : sig ... end

module VariableDisplay : sig ... end

module MMIOs : sig ... end

module Location : sig ... end