Module Memory_manager.MakeSource

Parameters

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

Signature

include module type of Sexpr.Memory
Sourcetype 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;
    }
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
Sourceval root : t
Sourceval fresh : string -> t
Sourceval layer : Sexpr.Expr.t -> Sexpr.Store.t -> t -> t
Sourceval source : C.t -> addr:Sexpr.Expr.t -> len:int -> Binsec.Loader_buf.t -> t -> t
Sourceval read : C.t -> addr:Sexpr.Expr.t -> int -> Sexpr.Expr.endianness -> t -> Sexpr.Expr.t
Sourceval merge : C.t -> Sexpr.Expr.t -> t -> t -> t