package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=108b575f2b5405814cab41e34d15602045cc708c4b11ebb662a49ca759b3a37c

sha512=3c17273fc1deb160bc1bccf827e9afaec50715ee46d0b8e232be7599a0cd7c91f8422d59ea4d18f72c6133d9d026e21786b0d7c7ce8f394784f2cc350d9ada07

type t

val create : 
  ?word_size:int ->
  ?debug:(name:string -> label:string -> string) ->
  next_id:Smt.Suid.t ->
  unit ->
  t

val assert_bl : t -> Sexpr.Expr.t -> unit

val define_bv : t -> string -> Sexpr.Expr.t -> unit

val define_ax : t -> string -> Sexpr.Memory.t -> unit

val to_formula : t -> Binsec.Formula.formula