package mopsa

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

Abstraction of the heap

module Pool : sig ... end
type Mopsa.query +=
  1. | Q_alive_addresses : ('a0, Mopsa.addr list) Mopsa.query
  2. | Q_alive_addresses_aspset : ('a1, Pool.t) Mopsa.query
  3. | Q_allocated_addresses_aspset : ('a2, Pool.t) Mopsa.query
val name : string
val opt_default_allocation_policy : string Stdlib.ref
val gc_time : float Stdlib.ref
val gc_nb_collections : int Stdlib.ref
val gc_nb_addr_collected : int Stdlib.ref
val gc_max_heap_size : int Stdlib.ref

Domain definition

type Mopsa.stmt_kind +=
  1. | S_perform_gc
module Domain : sig ... end

Domain header

OCaml

Innovation. Community. Security.