package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=94090e05906c7a0559f60d2c65dbe167eb5953a2338b958b71911c1c81dd9ffd

sha512=6f52f8918c3c242f1346ebdc244f80744966112b935e00519e5d4d5acc040f8e2d2c54ff6b172cf5eb34b9bf7366de085605de88fcc15c43f34abce39ed34220

type result =

type term

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

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

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

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

val iter_free_variables : (string -> Sexpr.Expr.t -> unit) -> unit

val iter_free_arrays : (string -> Sexpr.Memory.t -> unit) -> unit

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