Frama-C:
Plug-ins:
Libraries:

Frama-C API - Subgraph

Subgraph of get () wrt Options.Roots.get ()

val get : unit -> G.t