Module Sexpr.MemorySource

Sourcetype t =
  1. | Root
  2. | Symbol of string
  3. | Layer of {
    1. id : int;
    2. over : t;
    3. addr : Expr.t;
    4. store : Store.t;
    }
  4. | Overlay of {
    1. id : int;
    2. over : t;
    3. addr : Expr.t;
    4. store : Store.t;
    }
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
Sourceval source : addr:Expr.t -> len:int -> Binsec.Loader_buf.t -> t -> t
Sourceval write : addr:Expr.t -> Expr.t -> Expr.endianness -> t -> t
Sourceval read : addr:Expr.t -> int -> Expr.endianness -> t -> Expr.t * t
Sourceval merge : Expr.t -> t -> t -> t