Codex_options (p.binsec_codex.1.0-rc4.doc.binsec_codex.lib.Binsec_codex_lib.Codex

Sourceval type_of_string : string -> Types.TypedC.typ

Parses a type from a string

Sourceval 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

Sourcemodule ApplicationFile : sig ... end

Sourcemodule TypeConfigurationFile : sig ... end

Sourcemodule X86Types : sig ... end

Sourcemodule UseShape : sig ... end

Sourcemodule NbTasks : sig ... end

Sourcemodule AnalyzeKernel : sig ... end

Sourcemodule DynThreads : sig ... end

Sourcemodule GlobalsTypes : sig ... end

Sourcemodule Hooks : sig ... end

Sourcemodule Focusing : sig ... end

Sourcemodule Output_Html : sig ... end

Sourcemodule UseLoopDomain : sig ... end

module VariableDisplay : sig ... end

Sourcemodule MMIOs : sig ... end

Sourcemodule Location : sig ... end