package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Readme Edit opam file Versions (25)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-31.0-Gallium.tar.gz

sha256=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

doc/mthread/Mthread/Mt_shared_vars/index.html

Module `Mthread.Mt_shared_vars`Source

Sourcemodule type Computer = sig ... end

Source

module Global : 
  Computer
    with module Access = Mt_shared_vars_types.StmtIdAccess
     and module Set = Mt_shared_vars_types.SetStmtIdAccess

Sourcemodule Precise : sig ... end

Source

val 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

Source

val register_concurrent_var_accesses : 
  Mt_thread.analysis_state ->
  [< `Final of Mt_memory.Types.functions_states
  | `Leaf of Mt_memory.Types.state ] ->
  unit

Source

val stmt_is_multithreaded : 
  Mt_thread.analysis_state ->
  Mt_memory.Types.state_accesser ->
  Frama_c_kernel.Cil_types.stmt ->
  bool

Sourceval var_thread_created : unit -> Frama_c_kernel.Cil_types.varinfo

package frama-c

Install

Dune Dependency

Authors

Maintainers

Sources

doc/mthread/Mthread/Mt_shared_vars/index.html

Module Mthread.Mt_shared_varsSource

Module `Mthread.Mt_shared_vars`Source