package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
include sig ... end
module Value : sig ... end
val empty : unit -> t
val enumerate : Value.t -> ?n:int -> ?except:Binsec.Bitvector.t list -> t -> (Binsec.Bitvector.t * t) list
val fresh : Binsec.Dba.Var.t -> t -> t
val alloc : array:string -> t -> t
val memcpy : addr:Binsec.Bitvector.t -> int -> Binsec.Loader_buf.t -> t -> t
val merge : t -> t -> t
val pp : Format.formatter -> t -> unit
val pp_smt : (Binsec.Dba.Expr.t * string) list option -> Format.formatter -> t -> unit
val as_ascii : name:string -> t -> string
val as_c_string : name:string -> t -> string
val to_formula : t -> Binsec.Formula.formula
val get_value : Binsec.Dba.Expr.t -> t -> Binsec.Bitvector.t
val assume' : Value.t -> t -> t option
val assume : Binsec.Dba.Expr.t -> t -> t option
val test' : Value.t -> t -> t Libsse__Types.test
val test : Binsec.Dba.Expr.t -> t -> t Libsse__Types.test
val split_on : Binsec.Dba.Expr.t -> ?n:int -> ?except:Binsec.Bitvector.t list -> t -> (Binsec.Bitvector.t * t) list
val assign' : Binsec.Dba.Var.t -> Value.t -> t -> t
val assign : Binsec.Dba.Var.t -> Binsec.Dba.Expr.t -> t -> t
val read : addr:Binsec.Dba.Expr.t -> int -> Binsec.Machine.endianness -> t -> Value.t * t
val get_value' : Binsec.Dba.Expr.t -> t -> Binsec.Bitvector.t
val write' : addr:Value.t -> Value.t -> Binsec.Machine.endianness -> t -> t
val select : string -> addr:Binsec.Dba.Expr.t -> int -> Binsec.Machine.endianness -> t -> Value.t * t
val store' : string -> addr:Value.t -> Value.t -> Binsec.Machine.endianness -> t -> t
val store : string -> addr:Binsec.Dba.Expr.t -> Binsec.Dba.Expr.t -> Binsec.Machine.endianness -> t -> t