package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Generic_decoder_sig.Instr_Input
module State : sig ... end
include Generic_decoder_sig.Expr_Input with module M := Generic_decoder_sig.State_Monad(State)
type boolean
type binary
module Binary : sig ... end
module Boolean : sig ... end
val get_var : size:int -> string -> binary Generic_decoder_sig.State_Monad(State).m
val store : size:int -> Machine.endianness -> binary -> binary -> State.t -> State.t
val set_var : size:int -> string -> binary -> State.t -> State.t
val add_comment : string -> State.t -> State.t
val initial_state : State.t
val clear_memory : State.t -> State.t
val get_formula : State.t -> Formula.formula