Frama-C API - Mt_shared_vars
module type Computer = sig ... endmodule Global : Computer with module Access = Mt_shared_vars_types.StmtIdAccess and module Set = Mt_shared_vars_types.SetStmtIdAccessmodule Precise : sig ... endval read_written_by_function : (Frama_c_kernel.Cil_types.stmt -> bool) -> Eva__.Thread.t -> Mt_memory.Types.state_accesser -> ?watch_only:Frama_c_kernel.Locations.Zone.t -> Frama_c_kernel.Kernel_function.Hptset.elt -> Frama_c_kernel.Cil_types.kinstr -> Mt_shared_vars_types.AccessesByZone.mapval register_concurrent_var_accesses : Mt_thread.analysis_state -> [< `Final of Mt_memory.Types.functions_states | `Leaf of Mt_memory.Types.state ] -> unitval stmt_is_multithreaded : Mt_thread.analysis_state -> Mt_memory.Types.state_accesser -> Frama_c_kernel.Cil_types.stmt -> boolval var_thread_created : unit -> Frama_c_kernel.Cil_types.varinfo