package frama-c

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

Module Mt_shared_vars.GlobalSource

Sourcetype list_accesses = (Frama_c_kernel.Locations.Zone.t * Set.t) list
Sourceval pretty_concurrent_accesses : ?f:Access.t Frama_c_kernel.Pretty_utils.formatter -> unit -> Stdlib.Format.formatter -> list_accesses -> unit
Sourceval concurrent_accesses_all_threads : Mt_thread.ThreadState.t list -> (list_accesses * list_accesses) * ZoneMap.map
OCaml

Innovation. Community. Security.