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 t = SF(Query_stats).Value.t

val constant : Binsec.Bitvector.t -> t

val lookup : Binsec.Dba.Var.t -> t -> t

val read : addr:t -> int -> Binsec.Machine.endianness -> t -> t * t

val select : string -> addr:t -> int -> Binsec.Machine.endianness -> t -> t * t

val unary : Binsec.Term.unary Binsec.Term.operator -> t -> t

val binary : Binsec.Term.binary Binsec.Term.operator -> t -> t -> t

val ite : t -> t -> t -> t

val eval : Binsec.Dba.Expr.t -> t -> t