package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=ee45b9a6d54aebfb2b860c8fa7548ad85afbf1da3fe65cee10529c8a0934b8d6

sha512=493658d337a96bf6ac7b54b162717aeb31c527348a50552bad8f9b0f3f08791295e89c09b02b3f1c8cfa3913d57625c791e4e80322477e2a5f974ca7d85d57ae

type t

Symbolic value

type state

val constant : Binsec.Bitvector.t -> t

val lookup : Var.t -> state -> t

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

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

val unary : unary operator -> t -> t

val binary : binary operator -> t -> t -> t

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

val eval : Expr.t -> state -> t