package mopsa

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

Policies for grouping heap addresses

type Mopsa.addr_partitioning +=
  1. | G_range of Mopsa.range
  2. | G_stack_range of Mopsa.callstack * Mopsa.range
  3. | G_stack of Mopsa.callstack
val mk_addr_range : Mopsa.addr_kind -> Ast.Var.mode -> Mopsa.range -> 'a -> Mopsa.addr
val mk_addr_stack_range : Mopsa.addr_kind -> Ast.Var.mode -> Mopsa.range -> Mopsa.callstack -> Mopsa.addr
val mk_addr_stack : Mopsa.addr_kind -> Ast.Var.mode -> 'a -> Mopsa.callstack -> Mopsa.addr
val mk_addr_all : Mopsa.addr_kind -> Ast.Var.mode -> 'a -> 'b -> Mopsa.addr
val mk_addr_chain : (Mopsa.addr_kind -> Mopsa.mode -> Mopsa.range -> Mopsa.callstack -> Mopsa.addr) Stdlib.ref
val 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
val of_string : string -> Mopsa.addr_kind -> Ast.Var.mode -> Mopsa.range -> Mopsa.callstack -> Mopsa.addr
OCaml

Innovation. Community. Security.