package frama-c

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

Module Mthread.Mt_shared_varsSource

Sourcemodule type Computer = sig ... end
Sourcemodule Precise : sig ... end
Sourceval read_written_by_thread : ?watch_only:Frama_c_kernel.Locations.Zone.t -> (Frama_c_kernel.Cil_types.stmt -> bool) -> Eva__.Thread.t -> Mt_shared_vars_types.AccessesByZone.map
Sourceval register_concurrent_var_accesses : Mt_thread.analysis_state -> [< `Final of Mt_memory.Types.functions_states | `Leaf of Mt_memory.Types.state ] -> unit
Sourceval var_thread_created : unit -> Frama_c_kernel.Cil_types.varinfo
OCaml

Innovation. Community. Security.