Module Heap.PoliciesSource

Policies for grouping heap addresses

Sourcetype Mopsa.addr_partitioning +=
  1. | G_range of Mopsa.range
  2. | G_stack_range of Mopsa.callstack * Mopsa.range
  3. | G_stack of Mopsa.callstack
Sourceval mk_addr_range : Mopsa.addr_kind -> Ast.Var.mode -> Mopsa.range -> 'a -> Mopsa.addr
Sourceval mk_addr_all : Mopsa.addr_kind -> Ast.Var.mode -> 'a -> 'b -> Mopsa.addr
Sourceval mk_addr_chain : (Mopsa.addr_kind -> Mopsa.mode -> Mopsa.range -> Mopsa.callstack -> Mopsa.addr) Stdlib.ref
Sourceval register_option : string Stdlib.ref -> string -> string -> string -> ((Mopsa.addr_kind -> Mopsa.mode -> Mopsa.range -> Mopsa.callstack -> Mopsa.addr) -> Mopsa.addr_kind -> Mopsa.mode -> Mopsa.range -> Mopsa.callstack -> Mopsa.addr) -> unit