module Build:sig..end
Build graphs (PDG) for the function
(see module Build.BuildPdg)
to represent the dependencies between instructions
in order to use it for slicing purposes.
A function is processed using a forward dataflow analysis
(see module Dataflow2
which is instantiated with the module
Build.Computer below).
val compute_pdg : Cil_types.kernel_function -> PdgTypes.Pdg.t