|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use edu.cmu.cs.crystal.tac | |
---|---|
edu.cmu.cs.crystal.analysis.alias | |
edu.cmu.cs.crystal.analysis.constant | |
edu.cmu.cs.crystal.analysis.live | |
edu.cmu.cs.crystal.simple | This package is for creating very simple flow analyses; if you're new to flow analyses, start here. |
edu.cmu.cs.crystal.tac | This package contains classes and interfaces for writing flow analyses based on three-address code (TAC). |
edu.cmu.cs.crystal.tac.eclipse | An internal package for creating three address code nodes based on the Eclipse AST. |
edu.cmu.cs.crystal.tac.model | The interfaces for the three-address code (TAC) instructions and variables. |
Classes in edu.cmu.cs.crystal.tac used by edu.cmu.cs.crystal.analysis.alias | |
---|---|
AbstractTACBranchSensitiveTransferFunction
Abstract base class for defining branch-sensitive flow analyses based on 3-address code instructions ( TACInstruction ). |
|
ITACBranchSensitiveTransferFunction
Interface for defining branch-sensitive flow analysis transfer functions based on 3-address code instructions. |
Classes in edu.cmu.cs.crystal.tac used by edu.cmu.cs.crystal.analysis.constant | |
---|---|
ITACAnalysisContext
This interface defines methods to map AST data structures to TAC variables. |
|
ITACBranchSensitiveTransferFunction
Interface for defining branch-sensitive flow analysis transfer functions based on 3-address code instructions. |
Classes in edu.cmu.cs.crystal.tac used by edu.cmu.cs.crystal.analysis.live | |
---|---|
ITACTransferFunction
Interface for defining flow analysis transfer functions based on 3-address code instructions. |
Classes in edu.cmu.cs.crystal.tac used by edu.cmu.cs.crystal.simple | |
---|---|
ITACAnalysisContext
This interface defines methods to map AST data structures to TAC variables. |
|
ITACFlowAnalysis
This interface defines methods to map AST data structures to TAC variables. |
|
ITACTransferFunction
Interface for defining flow analysis transfer functions based on 3-address code instructions. |
|
TACFlowAnalysis
This class implements flow analyses over 3-address code instructions ( TACInstruction ). |
Classes in edu.cmu.cs.crystal.tac used by edu.cmu.cs.crystal.tac | |
---|---|
ITACAnalysisContext
This interface defines methods to map AST data structures to TAC variables. |
|
ITACBranchSensitiveTransferFunction
Interface for defining branch-sensitive flow analysis transfer functions based on 3-address code instructions. |
|
ITACFlowAnalysis
This interface defines methods to map AST data structures to TAC variables. |
|
ITACTransferFunction
Interface for defining flow analysis transfer functions based on 3-address code instructions. |
Classes in edu.cmu.cs.crystal.tac used by edu.cmu.cs.crystal.tac.eclipse | |
---|---|
ITACBranchSensitiveTransferFunction
Interface for defining branch-sensitive flow analysis transfer functions based on 3-address code instructions. |
|
ITACTransferFunction
Interface for defining flow analysis transfer functions based on 3-address code instructions. |
Classes in edu.cmu.cs.crystal.tac used by edu.cmu.cs.crystal.tac.model | |
---|---|
ITACBranchSensitiveTransferFunction
Interface for defining branch-sensitive flow analysis transfer functions based on 3-address code instructions. |
|
ITACTransferFunction
Interface for defining flow analysis transfer functions based on 3-address code instructions. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |