package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type Monad = sig ... end
module Monadic_Arity (M : Monad) : sig ... end
module type Expr_Input = sig ... end
module State_Monad (State : sig ... end) : Monad with type 'a m = State.t -> 'a * State.t
module type Instr_Input = sig ... end
type 'bin jump_target =
  1. | Static of Dba.id Dba.jump_target
  2. | Dynamic of 'bin
type ('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