package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=e9101e68d317c837d5cff9608c6fba2127dd31ef6373b9b90806780c1d80bb52

sha512=c01af277239b8cc84fb904c301897f7d2388a8c850c7cb6a53acb8a4f8d51115c8a595c5517843d076421a76f4b2becb16e722b4c90f19a8fa208cce5f3ba274

type result =

type term

type memory

type access =

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_memory : unit -> memory * access Queue.t

val get_value : term -> Z.t

val get_at : memory -> term -> Z.t

val succ : term -> term

val close : unit -> unit

On This Page