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

Packages that use de.unisaarland.cs.st.jerify.verifier.alias

de.unisaarland.cs.st.jerify.verifier.alias	Provides classes to handle the alias analysis.
de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias	Provides classes which are nodes which form the aliasing analysis part of the control flow graph.
de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate	Provides classes which are nodes which form the typestate analysis part of the control flow graph.
de.unisaarland.cs.st.jerify.verifier.dataflow
de.unisaarland.cs.st.jerify.verifier.typestate	Provides classes to create, handle and runtime-store the typestate analysis.

Classes in de.unisaarland.cs.st.jerify.verifier.alias used by de.unisaarland.cs.st.jerify.verifier.alias

AliasAnalysisSource
Is everything objects may come from.

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.

Classes in de.unisaarland.cs.st.jerify.verifier.alias used by de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias

AliasAnalysisSource
Is everything objects may come from.

AliasAnalysisVarHandle
Represents a variable within one scope, it is used to hide all the details of tracking the aliasing.

Classes in de.unisaarland.cs.st.jerify.verifier.alias used by de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate

AliasAnalysisVarHandle
Represents a variable within one scope, it is used to hide all the details of tracking the aliasing.

Classes in de.unisaarland.cs.st.jerify.verifier.alias used by de.unisaarland.cs.st.jerify.verifier.dataflow

ClassCFGAliasAnalysis
Manages the creation process of AliasAnalysisVarHandle and alias FlowNodes.

Classes in de.unisaarland.cs.st.jerify.verifier.alias used by de.unisaarland.cs.st.jerify.verifier.typestate

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.