Frama-C API - S
Output signature for services.
module Service_graph : sig ... end
val compute : graph -> Datatype.String.Set.t -> Service_graph.t
val output_graph : Stdlib.out_channel -> Service_graph.t -> unit
val entry_point : unit -> Service_graph.V.t option
compute
must be called before