Frama-C:
Plug-ins:
Libraries:

Frama-C API - OrderedThreads

val family_tree : analysis_state -> thread list Eva__.Thread.Hashtbl.t

Create a table mapping each thread that creates a thread to the threads it creates

val creation_map : analysis_state -> Eva__.Thread.Set.t Eva__.Thread.Map.t

Map each existing threads to the id of the threads it recursively creates

val ordered_fold : ('a -> thread -> 'a) -> 'a -> analysis_state -> 'a

Fold a function f with accumulator acc over program threads following the partial order of thread creations.

val ordered_iter : analysis_state -> (thread -> 'a -> 'a) -> 'a -> unit

Iter a function f over program threads following the partial order of thread creations. The 'a argument passed to the function is the value returned by the function on the creating thread