public class SSAToStatDefVisitor
extends java.lang.Object
implements com.ibm.wala.ssa.SSAInstruction.IVisitor
Modifier and Type | Field and Description |
---|---|
boolean |
foundStoppingInsn |
private com.ibm.wala.ssa.IR |
ir |
private java.util.HashSet<WalaVarExpr> |
noStackSlotVars |
private SlotParamTable |
slotParamTable |
private Stmt |
veriStatement |
Constructor and Description |
---|
SSAToStatDefVisitor(com.ibm.wala.ssa.IR ir,
java.util.HashSet<WalaVarExpr> noStackSlotVars,
SlotParamTable slotParamTable) |
Modifier and Type | Method and Description |
---|---|
private void |
addToNoStackSlotVars(WalaVarExpr wve) |
Stmt |
convert(com.ibm.wala.ssa.SSAInstruction ssa) |
private boolean |
extractStackSlotStmt(WalaVarExpr wve) |
void |
visitArrayLength(com.ibm.wala.ssa.SSAArrayLengthInstruction ssaArrayLengthInstruction) |
void |
visitArrayLoad(com.ibm.wala.ssa.SSAArrayLoadInstruction ssaArrayLoadInstruction) |
void |
visitArrayStore(com.ibm.wala.ssa.SSAArrayStoreInstruction ssaArrayStoreInstruction) |
void |
visitBinaryOp(com.ibm.wala.ssa.SSABinaryOpInstruction ssa) |
void |
visitCheckCast(com.ibm.wala.ssa.SSACheckCastInstruction ssaCheckCastInstruction) |
void |
visitComparison(com.ibm.wala.ssa.SSAComparisonInstruction ssa) |
void |
visitConditionalBranch(com.ibm.wala.ssa.SSAConditionalBranchInstruction ssaConditionalBranchInstruction) |
void |
visitConversion(com.ibm.wala.ssa.SSAConversionInstruction ssaConversionInstruction) |
void |
visitGet(com.ibm.wala.ssa.SSAGetInstruction ssaGetInstruction) |
void |
visitGetCaughtException(com.ibm.wala.ssa.SSAGetCaughtExceptionInstruction ssaGetCaughtExceptionInstruction) |
void |
visitGoto(com.ibm.wala.ssa.SSAGotoInstruction ssaGotoInstruction) |
void |
visitInstanceof(com.ibm.wala.ssa.SSAInstanceofInstruction ssaInstanceofInstruction) |
void |
visitInvoke(com.ibm.wala.ssa.SSAInvokeInstruction ssaInvokeInstruction) |
void |
visitLoadMetadata(com.ibm.wala.ssa.SSALoadMetadataInstruction ssaLoadMetadataInstruction) |
void |
visitMonitor(com.ibm.wala.ssa.SSAMonitorInstruction ssaMonitorInstruction) |
void |
visitNew(com.ibm.wala.ssa.SSANewInstruction ssaNewInstruction) |
void |
visitPhi(com.ibm.wala.ssa.SSAPhiInstruction ssaPhiInstruction) |
void |
visitPi(com.ibm.wala.ssa.SSAPiInstruction ssaPiInstruction) |
void |
visitPut(com.ibm.wala.ssa.SSAPutInstruction ssaPutInstruction) |
void |
visitReturn(com.ibm.wala.ssa.SSAReturnInstruction ssaReturnInstruction) |
void |
visitSwitch(com.ibm.wala.ssa.SSASwitchInstruction ssaSwitchInstruction) |
void |
visitThrow(com.ibm.wala.ssa.SSAThrowInstruction ssaThrowInstruction) |
void |
visitUnaryOp(com.ibm.wala.ssa.SSAUnaryOpInstruction ssa) |
private final java.util.HashSet<WalaVarExpr> noStackSlotVars
private final SlotParamTable slotParamTable
public boolean foundStoppingInsn
private Stmt veriStatement
private final com.ibm.wala.ssa.IR ir
public SSAToStatDefVisitor(com.ibm.wala.ssa.IR ir, java.util.HashSet<WalaVarExpr> noStackSlotVars, SlotParamTable slotParamTable)
public Stmt convert(com.ibm.wala.ssa.SSAInstruction ssa)
private boolean extractStackSlotStmt(WalaVarExpr wve)
private void addToNoStackSlotVars(WalaVarExpr wve)
public void visitGoto(com.ibm.wala.ssa.SSAGotoInstruction ssaGotoInstruction)
visitGoto
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitArrayLoad(com.ibm.wala.ssa.SSAArrayLoadInstruction ssaArrayLoadInstruction)
visitArrayLoad
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitArrayStore(com.ibm.wala.ssa.SSAArrayStoreInstruction ssaArrayStoreInstruction)
visitArrayStore
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitBinaryOp(com.ibm.wala.ssa.SSABinaryOpInstruction ssa)
visitBinaryOp
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitUnaryOp(com.ibm.wala.ssa.SSAUnaryOpInstruction ssa)
visitUnaryOp
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitConversion(com.ibm.wala.ssa.SSAConversionInstruction ssaConversionInstruction)
visitConversion
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitComparison(com.ibm.wala.ssa.SSAComparisonInstruction ssa)
visitComparison
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitConditionalBranch(com.ibm.wala.ssa.SSAConditionalBranchInstruction ssaConditionalBranchInstruction)
visitConditionalBranch
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitSwitch(com.ibm.wala.ssa.SSASwitchInstruction ssaSwitchInstruction)
visitSwitch
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitReturn(com.ibm.wala.ssa.SSAReturnInstruction ssaReturnInstruction)
visitReturn
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitGet(com.ibm.wala.ssa.SSAGetInstruction ssaGetInstruction)
visitGet
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitPut(com.ibm.wala.ssa.SSAPutInstruction ssaPutInstruction)
visitPut
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitInvoke(com.ibm.wala.ssa.SSAInvokeInstruction ssaInvokeInstruction)
visitInvoke
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitNew(com.ibm.wala.ssa.SSANewInstruction ssaNewInstruction)
visitNew
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitArrayLength(com.ibm.wala.ssa.SSAArrayLengthInstruction ssaArrayLengthInstruction)
visitArrayLength
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitThrow(com.ibm.wala.ssa.SSAThrowInstruction ssaThrowInstruction)
visitThrow
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitMonitor(com.ibm.wala.ssa.SSAMonitorInstruction ssaMonitorInstruction)
visitMonitor
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitCheckCast(com.ibm.wala.ssa.SSACheckCastInstruction ssaCheckCastInstruction)
visitCheckCast
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitInstanceof(com.ibm.wala.ssa.SSAInstanceofInstruction ssaInstanceofInstruction)
visitInstanceof
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitPhi(com.ibm.wala.ssa.SSAPhiInstruction ssaPhiInstruction)
visitPhi
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitPi(com.ibm.wala.ssa.SSAPiInstruction ssaPiInstruction)
visitPi
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitGetCaughtException(com.ibm.wala.ssa.SSAGetCaughtExceptionInstruction ssaGetCaughtExceptionInstruction)
visitGetCaughtException
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor
public void visitLoadMetadata(com.ibm.wala.ssa.SSALoadMetadataInstruction ssaLoadMetadataInstruction)
visitLoadMetadata
in interface com.ibm.wala.ssa.SSAInstruction.IVisitor