Frama-C:
Plug-ins:
Libraries:

Frama-C API - Mt_cil

val mthread_global_var : string -> unit -> Frama_c_kernel.Cil_types.varinfo

Function used to find the variables that should be declared in framac_mthread.h, with suitable error messages

val is_call_to_sync : Frama_c_kernel.Cil_types.stmt -> bool

Is this statement a call to the primitive Frama_C_mthread_sync

Pretty-printing

val pretty_succs : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.stmt -> unit

Print the sid of the successors of a statement

Calls stacks, and related functions

type stack = stack_elt list
module Stack : sig ... end