module Service_graph: sig
.. end
Compute services from a callgraph.
val frama_c_display : bool -> unit
must be set to false
before output the graph in dot format
and must be set to true
in order to display the graph in the Frama-C GUI.
Since Oxygen-20120901
module Make: functor (
G
:
sig
type
t
module V: sig
.. end
val iter_vertex : (V.t -> unit) -> t -> unit
val iter_succ : (V.t -> unit) ->
t -> V.t -> unit
val iter_pred : (V.t -> unit) ->
t -> V.t -> unit
val fold_pred : (V.t -> 'a -> 'a) ->
t -> V.t -> 'a -> 'a
val datatype_name : string
end
) ->
sig
.. end
Generic functor implementing the services algorithm according to a graph
implementation.