|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IFlowAnalysisDefinition | |
---|---|
edu.cmu.cs.crystal.analysis.alias | |
edu.cmu.cs.crystal.analysis.constant | |
edu.cmu.cs.crystal.analysis.live | |
edu.cmu.cs.crystal.flow | This package is used for flow analyses. |
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). |
Uses of IFlowAnalysisDefinition in edu.cmu.cs.crystal.analysis.alias |
---|
Classes in edu.cmu.cs.crystal.analysis.alias that implement IFlowAnalysisDefinition | |
---|---|
class |
MayAliasTransferFunction
|
Uses of IFlowAnalysisDefinition in edu.cmu.cs.crystal.analysis.constant |
---|
Classes in edu.cmu.cs.crystal.analysis.constant that implement IFlowAnalysisDefinition | |
---|---|
class |
ConstantTransferFunction
|
Uses of IFlowAnalysisDefinition in edu.cmu.cs.crystal.analysis.live |
---|
Classes in edu.cmu.cs.crystal.analysis.live that implement IFlowAnalysisDefinition | |
---|---|
class |
LiveVariableTransferFunction
|
Uses of IFlowAnalysisDefinition in edu.cmu.cs.crystal.flow |
---|
Subinterfaces of IFlowAnalysisDefinition in edu.cmu.cs.crystal.flow | |
---|---|
interface |
IBranchSensitiveTransferFunction<LE>
Interface for defining branch-sensitive flow analyses. |
interface |
ITransferFunction<LE>
Interface for defining standard flow analyses. |
Uses of IFlowAnalysisDefinition in edu.cmu.cs.crystal.simple |
---|
Classes in edu.cmu.cs.crystal.simple that implement IFlowAnalysisDefinition | |
---|---|
class |
AbstractingTransferFunction<LE>
This class implements additional transfer functions that abstract or group other transfer functions according to the instruction hierarchy. |
Uses of IFlowAnalysisDefinition in edu.cmu.cs.crystal.tac |
---|
Subinterfaces of IFlowAnalysisDefinition in edu.cmu.cs.crystal.tac | |
---|---|
interface |
ITACBranchSensitiveTransferFunction<LE>
Interface for defining branch-sensitive flow analysis transfer functions based on 3-address code instructions. |
interface |
ITACTransferFunction<LE>
Interface for defining flow analysis transfer functions based on 3-address code instructions. |
Classes in edu.cmu.cs.crystal.tac that implement IFlowAnalysisDefinition | |
---|---|
class |
AbstractTACBranchSensitiveTransferFunction<LE>
Abstract base class for defining branch-sensitive flow analyses based on 3-address code instructions ( TACInstruction ). |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |