package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Represent the concrete state of a running program.

type t
exception Ox8BADF00D of Dba.Expr.t
val empty : t
val load_memory_file : t -> string -> t
val load_init_file : t -> string -> t
val eval : t -> Dba.Expr.t -> Bitvector.t
val assign : t -> Dba.LValue.t -> Bitvector.t -> t
val kill : t -> Dba.LValue.t -> t