package binsec

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

Module Binsec_cli_xtrasec.Generic_decoder_sigSource

Sourcemodule type Monad = sig ... end
Sourcemodule Monadic_Arity (M : Monad) : sig ... end
Sourcemodule type Expr_Input = sig ... end
Sourcemodule State_Monad (State : sig ... end) : Monad with type 'a m = State.t -> 'a * State.t
Sourcemodule type Instr_Input = sig ... end
Sourcetype 'bin jump_target =
  1. | Static of Binsec.Dba.id Binsec.Dba.jump_target
  2. | Dynamic of 'bin
Sourcetype ('bool, 'bin) jump_kind =
  1. | JKIf of 'bool * 'bin jump_target * 'bin jump_target
  2. | JKJump of 'bin jump_target
  3. | JKStop
  4. | JKAssume of 'bool * 'bin jump_target