Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package chord.project.analyses.rhs

Reps-Horwitz-Sagiv framework for interprocedural dataflow analysis.

See:
          Description

Interface Summary
IEdge Specification of a path edge or a summary edge in the Reps-Horwitz-Sagiv algorithm for context-sensitive dataflow analysis.
 

Class Summary
BackwardRHSAnalysis<PE extends IEdge,SE extends IEdge> Implementation of the Reps-Horwitz-Sagiv algorithm for context-sensitive backward dataflow analysis.
ForwardRHSAnalysis<PE extends IEdge,SE extends IEdge> Implementation of the Reps-Horwitz-Sagiv algorithm for context-sensitive forward dataflow analysis.
RHSAnalysis<PE extends IEdge,SE extends IEdge> Implementation of the Reps-Horwitz-Sagiv algorithm for context-sensitive dataflow analysis.
 

Exception Summary
TimeoutException  
 

Package chord.project.analyses.rhs Description

Reps-Horwitz-Sagiv framework for interprocedural dataflow analysis.

Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES