package binsec

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

Parameters

Signature

type t

Symbolic state

module Value : Libsse.Types.VALUE with type state := t
val empty : unit -> t
val assume : Value.t -> t -> t option
val test : Value.t -> t -> t Libsse.Types.test
val get_value : Value.t -> t -> Binsec.Bitvector.t
val enumerate : Value.t -> ?n:int -> ?except:Binsec.Bitvector.t list -> t -> (Binsec.Bitvector.t * t) list
val fresh : Libsse.Types.Var.t -> t -> t
val alloc : array:string -> t -> t
val assign : Libsse.Types.Var.t -> Value.t -> t -> t
val write : addr:Value.t -> Value.t -> Binsec.Machine.endianness -> t -> t
val store : string -> addr:Value.t -> Value.t -> Binsec.Machine.endianness -> 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 : Libsse.Types.target -> 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