|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ITACBranchSensitiveTransferFunction | |
---|---|
edu.cmu.cs.crystal.analysis.alias | |
edu.cmu.cs.crystal.analysis.constant | |
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. |
Uses of ITACBranchSensitiveTransferFunction in edu.cmu.cs.crystal.analysis.alias |
---|
Classes in edu.cmu.cs.crystal.analysis.alias that implement ITACBranchSensitiveTransferFunction | |
---|---|
class |
MayAliasTransferFunction
|
Uses of ITACBranchSensitiveTransferFunction in edu.cmu.cs.crystal.analysis.constant |
---|
Classes in edu.cmu.cs.crystal.analysis.constant that implement ITACBranchSensitiveTransferFunction | |
---|---|
class |
ConstantTransferFunction
|
Uses of ITACBranchSensitiveTransferFunction in edu.cmu.cs.crystal.tac |
---|
Classes in edu.cmu.cs.crystal.tac that implement ITACBranchSensitiveTransferFunction | |
---|---|
class |
AbstractTACBranchSensitiveTransferFunction<LE>
Abstract base class for defining branch-sensitive flow analyses based on 3-address code instructions ( TACInstruction ). |
Constructors in edu.cmu.cs.crystal.tac with parameters of type ITACBranchSensitiveTransferFunction | |
---|---|
TACFlowAnalysis(ITACBranchSensitiveTransferFunction<LE> transferFunction,
CompilationUnitTACs eclipseTAC)
Creates a branch sensitive flow analysis object. |
|
TACFlowAnalysis(ITACBranchSensitiveTransferFunction<LE> transferFunction,
IAnalysisInput analysisInput)
Creates a branch sensitive flow analysis object. |
Uses of ITACBranchSensitiveTransferFunction in edu.cmu.cs.crystal.tac.eclipse |
---|
Methods in edu.cmu.cs.crystal.tac.eclipse with parameters of type ITACBranchSensitiveTransferFunction | ||
---|---|---|
|
EclipseInstructionSequence.deriveResult(ITACBranchSensitiveTransferFunction<LE> tf,
List<ILabel> labels,
TACInstruction targetInstr,
LE value,
boolean afterResult)
|
|
|
EclipseInstructionSequence.transfer(ITACBranchSensitiveTransferFunction<LE> tf,
List<ILabel> labels,
LE value)
|
|
|
ReturnInstructionImpl.transfer(ITACBranchSensitiveTransferFunction<LE> tf,
List<ILabel> labels,
LE value)
|
Uses of ITACBranchSensitiveTransferFunction in edu.cmu.cs.crystal.tac.model |
---|
Methods in edu.cmu.cs.crystal.tac.model with parameters of type ITACBranchSensitiveTransferFunction | ||
---|---|---|
|
TACInstruction.transfer(ITACBranchSensitiveTransferFunction<LE> tf,
List<ILabel> labels,
LE value)
Use this method to transfer over an instruction. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |