module Build:sig
..end
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