Package com.ibm.wala.analysis.nullpointer

Class RelevantVariableFinder

java.lang.Object

com.ibm.wala.analysis.nullpointer.RelevantVariableFinder

All Implemented Interfaces:

SSAInstruction.IVisitor

public class RelevantVariableFinder
extends Object
implements SSAInstruction.IVisitor

Helper class to find the variable that may be null.

Author:

Stephan Gocht <stephan@gobro.de>

Constructor Summary

Constructors

Constructor	Description
RelevantVariableFinder(SSAInstruction instrcution)

Method Summary

Modifier and Type	Method	Description
int	getVarNum()
void	visitArrayLength(SSAArrayLengthInstruction instruction)
void	visitArrayLoad(SSAArrayLoadInstruction instruction)
void	visitArrayStore(SSAArrayStoreInstruction instruction)
void	visitBinaryOp(SSABinaryOpInstruction instruction)
void	visitCheckCast(SSACheckCastInstruction instruction)
void	visitComparison(SSAComparisonInstruction instruction)
void	visitConditionalBranch(SSAConditionalBranchInstruction instruction)
void	visitConversion(SSAConversionInstruction instruction)
void	visitGet(SSAGetInstruction instruction)
void	visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)
void	visitGoto(SSAGotoInstruction instruction)
void	visitInstanceof(SSAInstanceofInstruction instruction)
void	visitInvoke(SSAInvokeInstruction instruction)
void	visitLoadMetadata(SSALoadMetadataInstruction instruction)
void	visitMonitor(SSAMonitorInstruction instruction)
void	visitNew(SSANewInstruction instruction)
void	visitPhi(SSAPhiInstruction instruction)
void	visitPi(SSAPiInstruction instruction)
void	visitPut(SSAPutInstruction instruction)
void	visitReturn(SSAReturnInstruction instruction)
void	visitSwitch(SSASwitchInstruction instruction)
void	visitThrow(SSAThrowInstruction instruction)
void	visitUnaryOp(SSAUnaryOpInstruction instruction)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

RelevantVariableFinder

public RelevantVariableFinder(SSAInstruction instrcution)

Method Details

getVarNum

public int getVarNum()

visitArrayLength

public void visitArrayLength(SSAArrayLengthInstruction instruction)

Specified by:

visitArrayLength in interface SSAInstruction.IVisitor

visitArrayLoad

public void visitArrayLoad(SSAArrayLoadInstruction instruction)

Specified by:

visitArrayLoad in interface SSAInstruction.IVisitor

visitArrayStore

public void visitArrayStore(SSAArrayStoreInstruction instruction)

Specified by:

visitArrayStore in interface SSAInstruction.IVisitor

visitBinaryOp

public void visitBinaryOp(SSABinaryOpInstruction instruction)

Specified by:

visitBinaryOp in interface SSAInstruction.IVisitor

visitCheckCast

public void visitCheckCast(SSACheckCastInstruction instruction)

Specified by:

visitCheckCast in interface SSAInstruction.IVisitor

visitComparison

public void visitComparison(SSAComparisonInstruction instruction)

Specified by:

visitComparison in interface SSAInstruction.IVisitor

visitConditionalBranch

public void visitConditionalBranch(SSAConditionalBranchInstruction instruction)

Specified by:

visitConditionalBranch in interface SSAInstruction.IVisitor

visitConversion

public void visitConversion(SSAConversionInstruction instruction)

Specified by:

visitConversion in interface SSAInstruction.IVisitor

visitGet

public void visitGet(SSAGetInstruction instruction)

Specified by:

visitGet in interface SSAInstruction.IVisitor

visitGetCaughtException

public void visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)

Specified by:

visitGetCaughtException in interface SSAInstruction.IVisitor

visitGoto

public void visitGoto(SSAGotoInstruction instruction)

Specified by:

visitGoto in interface SSAInstruction.IVisitor

visitInstanceof

public void visitInstanceof(SSAInstanceofInstruction instruction)

Specified by:

visitInstanceof in interface SSAInstruction.IVisitor

visitInvoke

public void visitInvoke(SSAInvokeInstruction instruction)

Specified by:

visitInvoke in interface SSAInstruction.IVisitor

visitLoadMetadata

public void visitLoadMetadata(SSALoadMetadataInstruction instruction)

Specified by:

visitLoadMetadata in interface SSAInstruction.IVisitor

visitMonitor

public void visitMonitor(SSAMonitorInstruction instruction)

Specified by:

visitMonitor in interface SSAInstruction.IVisitor

visitNew

public void visitNew(SSANewInstruction instruction)

Specified by:

visitNew in interface SSAInstruction.IVisitor

visitPhi

public void visitPhi(SSAPhiInstruction instruction)

Specified by:

visitPhi in interface SSAInstruction.IVisitor

visitPi

public void visitPi(SSAPiInstruction instruction)

Specified by:

visitPi in interface SSAInstruction.IVisitor

visitPut

public void visitPut(SSAPutInstruction instruction)

Specified by:

visitPut in interface SSAInstruction.IVisitor

visitReturn

public void visitReturn(SSAReturnInstruction instruction)

Specified by:

visitReturn in interface SSAInstruction.IVisitor

visitSwitch

public void visitSwitch(SSASwitchInstruction instruction)

Specified by:

visitSwitch in interface SSAInstruction.IVisitor

visitThrow

public void visitThrow(SSAThrowInstruction instruction)

Specified by:

visitThrow in interface SSAInstruction.IVisitor

visitUnaryOp

public void visitUnaryOp(SSAUnaryOpInstruction instruction)

Specified by:

visitUnaryOp in interface SSAInstruction.IVisitor