Package 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.

See:
          Description

Class Summary
TSAliasAnalysisAssignmentFlowNode FlowNode that updates the alias information of one variable
TSAliasAnalysisEndOfScope  
 

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

Provides classes which are nodes which form the aliasing analysis part of the control flow graph.

Package Specification

none

Related Documentation

none