Module Binsec_codex_lib.Codex_options

val type_of_string : string -> Types.Ctypes.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.Ctypes.typ | `skip_to of Binsec.Virtual_address.t | `stop ]
include sig ... end
val is_enabled : unit -> bool
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