Frama-C:
Plug-ins:
Libraries:

Frama-C API - Callgraph

val iter_in_rev_order : (Frama_c_kernel.Kernel_function.t -> unit) -> unit

Iterates over all functions in the callgraph in reverse order, i.e. from callees to callers. If callgraph is missing or if the number of callsites is too big, the order is unspecified.