package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val assign : LValue.t -> Expr.t -> t
val undef : LValue.t -> t
val nondet : LValue.t -> t
val assume : Expr.t -> t
val dynamic_assert : Expr.t -> t
val conditional_jump : Expr.t -> string -> t
val dynamic_jump : Expr.t -> t
val goto : string -> t
val label : string -> t
val halt : t