Package de.unisaarland.cs.st.jerify.verifier.alias

Provides classes to handle the alias analysis.

See:
Description

Class Summary

AliasAnalysisExpressionVisitor	Determines all sources of objects, whether it is a new bla() creation or a variable use.
AliasAnalysisFieldHandle
AliasAnalysisSource	Is everything objects may come from.
AliasAnalysisSourceFixed	Represents all Sources which are create by a "new class();" like part of the code.
AliasAnalysisSourceNew	Represents all Sources which are create by a "new class();" like part of the code.
AliasAnalysisSourceVar	Represents all Sources which are uses of an variable.
AliasAnalysisVarHandle	Represents a variable within one scope, it is used to hide all the details of tracking the aliasing.
ClassCFGAliasAnalysis	Manages the creation process of AliasAnalysisVarHandle and alias FlowNodes.

Package de.unisaarland.cs.st.jerify.verifier.alias Description

Provides classes to handle the alias analysis.

Package Specification

none

Related Documentation

none