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
val kinstr_to_source : Frama_c_kernel.Cil_types.kinstr -> Frama_c_kernel.Filepath.position option
Calls stacks, and related functions
type stack_elt = Frama_c_kernel.Cil_types.kernel_function * Frama_c_kernel.Cil_types.kinstr
module StackElt : Frama_c_kernel.Datatype.S with type t = stack_elt
type stack = stack_elt list
module Stack : sig ... end