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.Dba2CodexSource

Sourcemodule VarMap : Map.S with type key = string
Sourcetype jump_target =
  1. | Jump_Inner of Binsec.Dba.id
    (*

    Some instruction in a block

    *)
  2. | Jump_Outer of Binsec.Virtual_address.t
    (*

    Some instruction outside of the block.

    *)
  3. | Jump_Dynamic
Sourcemodule TypedC = Types.TypedC
Sourcemodule type Address_sig = sig ... end
Sourcemodule type RegionS = sig ... end
Sourcemodule type StateS = sig ... end
Sourcemodule Create () : sig ... end