package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=ee45b9a6d54aebfb2b860c8fa7548ad85afbf1da3fe65cee10529c8a0934b8d6

sha512=493658d337a96bf6ac7b54b162717aeb31c527348a50552bad8f9b0f3f08791295e89c09b02b3f1c8cfa3913d57625c791e4e80322477e2a5f974ca7d85d57ae

module QS : Types.QUERY_STATISTICS

type t

Symbolic state

module Value : Types.VALUE with type state := t

val empty : unit -> t

val assume : Value.t -> t -> t option

val test : Value.t -> t -> t 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 : 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

On This Page