All these functions find the nodes needed for various kind of annotations.

Build graphs (PDG) for the function (see module Build.BuildPdg) to represent the dependencies between instructions in order to use it for slicing purposes.

Internal information about control dependencies

Program Dependences Graph.

DataState is associated with a program point and provide the dependencies for the data, ie.

PDG (program dependence graph) access functions.

This module can be useful to store some information about different elements of a function.

This module provides elements to mapped information (here called 'marks') to PDG elements and propagate it along the dependencies.

This module defines the types that are used to store the PDG of a function.