This package contains classes that provide program dependence information that can be used in applications such as program slicing. Please refer to A Formal Study of Slicing for Multi-threaded Program with JVM Concurrency Primitives" for definition of the dependences.

If unspecified, then all reference parameters can be null.

This package also contains classes that can be used to generate XML documents containing the dependence information.