Module Build

module Build: sig .. end

Build graphs (PDG) for the function (see module Build.BuildPdg) to represente 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 instanciated with the module Build.Computer below).

val compute_pdg : Cil_types.kernel_function -> PdgTypes.Pdg.t