package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=b8e7b9c756245656c481e992549fb7b1864ee6eeb492e16488e7a9d962d39cdb

sha512=07a5e4105e5275751fcc6832743f5f9eedc72bd061273ec54c4466135032852120df3784ba571656c788e5f3cd971aad8a53f030336a364e77e940e26dff38d7

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