package binsec_codex

  1. Overview
  2. Docs
package binsec_codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Binsec_codex_lib.Codex_optionsSource

Sourceval type_of_string : string -> Types.TypedC.typ

Parses a type from a string

Sourceval address_of_string : string -> Z.t
Sourceval 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 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