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

type result =

type term

val put : Smt.Suid.t -> Sexpr.Expr.t list -> unit

val set_memory : addr:Z.t -> Z.t -> unit

val neq : term -> Z.t -> unit

val bind : Smt.Suid.t -> Sexpr.Expr.t -> Sexpr.Expr.t list -> term

val get : Sexpr.Expr.t -> term

val check_sat : unit -> result

val get_value : term -> Z.t

val get_array : Sexpr.Memory.t -> (Z.t * char) array

val close : unit -> unit

On This Page