package binsec

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

Parameters

module D : Domains.S
module C : CONTEXT with type v := D.t

Signature

include module type of Sexpr.Memory
type t = private
  1. | Root
  2. | Symbol of string
  3. | Layer of {
    1. id : int;
    2. over : t;
    3. addr : Sexpr.Expr.t;
    4. store : Sexpr.Store.t;
    }
val compare : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
val root : t
val fresh : string -> t
val layer : Sexpr.Expr.t -> Sexpr.Store.t -> t -> t
val source : C.t -> addr:Sexpr.Expr.t -> len:int -> Binsec.Loader_buf.t -> t -> t
val write : C.t -> addr:Sexpr.Expr.t -> Sexpr.Expr.t -> Sexpr.Expr.endianness -> t -> t
val read : C.t -> addr:Sexpr.Expr.t -> int -> Sexpr.Expr.endianness -> t -> Sexpr.Expr.t
val merge : C.t -> Sexpr.Expr.t -> t -> t -> t