package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=2f990f80ebd06b71af4fde46c6a248eb74d52c6f46be63bdf97d99f72589db13

sha512=38d93ae20ae58e10027eb0f7669d3ab960ddc640526018fc94008ccd6cb63ec99030d0ee39dfb9cbd0d5e144db4615c9027bd2adcb197fc75676c45dbb54f836

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