Package soot.dava.toolkits.base.AST.structuredAnalysis

Class MustMayInitialize

java.lang.Object

soot.dava.toolkits.base.AST.structuredAnalysis.StructuredAnalysis

soot.dava.toolkits.base.AST.structuredAnalysis.MustMayInitialize

public class MustMayInitialize
extends StructuredAnalysis

Field Summary

Fields

Modifier and Type	Field	Description
static int	MAY
static int	MUST

Fields inherited from class soot.dava.toolkits.base.AST.structuredAnalysis.StructuredAnalysis

DEBUG, DEBUG_IF, DEBUG_STATEMENTS, DEBUG_TRY, DEBUG_WHILE, MERGETYPE

Constructor Summary

Constructors

Constructor	Description
MustMayInitialize(Object analyze, int MUSTorMAY)

Method Summary

Modifier and Type	Method	Description
DavaFlowSet	cloneFlowSet(DavaFlowSet flowSet)	Make a clone of the flowset The implementor should know when they want a shallow or deep clone
DavaFlowSet	emptyFlowSet()
List	getDefs(SootField field)
List	getDefs(Value local)
boolean	isMayInitialized(SootField field)
boolean	isMayInitialized(Value local)
boolean	isMustInitialized(SootField field)
boolean	isMustInitialized(Value local)
DavaFlowSet	newInitialFlow()
DavaFlowSet	processStatement(Stmt s, DavaFlowSet inSet)	Specific stmts within AST Constructs are processed through this method.
DavaFlowSet	processSwitchKey(Value key, DavaFlowSet input)	Deal with the key in the switch construct
DavaFlowSet	processSynchronizedLocal(Local local, DavaFlowSet input)	To deal with the local used for synch blocks
DavaFlowSet	processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, DavaFlowSet input)	To have maximum flexibility in analyzing conditions the analysis API breaks down the aggregated conditions to simple unary or binary conditions user defined code can then deal with each condition separately.
void	setMergeType()

Methods inherited from class soot.dava.toolkits.base.AST.structuredAnalysis.StructuredAnalysis

debug, debug, getAfterSet, getBeforeSet, getLabel, handleBreak, handleContinue, isDifferent, merge, mergeExplicitAndImplicit, print, process, processAbruptStatements, processASTDoWhileNode, processASTForLoopNode, processASTIfElseNode, processASTIfNode, processASTLabeledBlockNode, processASTMethodNode, processASTNode, processASTStatementSequenceNode, processASTSwitchNode, processASTSynchronizedBlockNode, processASTTryNode, processASTUnconditionalLoopNode, processASTWhileNode, processCondition, processSingleSubBodyNode

Methods inherited from class java.lang.Object

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

Field Detail

MUST

public static final int MUST

See Also:

Constant Field Values

MAY

public static final int MAY

See Also:

Constant Field Values

Constructor Detail

MustMayInitialize

public MustMayInitialize(Object analyze,
                         int MUSTorMAY)

Method Detail

emptyFlowSet

public DavaFlowSet emptyFlowSet()

Specified by:

emptyFlowSet in class StructuredAnalysis

setMergeType

public void setMergeType()

Specified by:

setMergeType in class StructuredAnalysis

newInitialFlow

public DavaFlowSet newInitialFlow()

Specified by:

newInitialFlow in class StructuredAnalysis

cloneFlowSet

public DavaFlowSet cloneFlowSet(DavaFlowSet flowSet)

Description copied from class: StructuredAnalysis

Make a clone of the flowset The implementor should know when they want a shallow or deep clone

Specified by:

cloneFlowSet in class StructuredAnalysis

processUnaryBinaryCondition

public DavaFlowSet processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
                                               DavaFlowSet input)

Description copied from class: StructuredAnalysis

To have maximum flexibility in analyzing conditions the analysis API breaks down the aggregated conditions to simple unary or binary conditions user defined code can then deal with each condition separately. To be able to deal with entire aggregated conditions the user should wite their own implementation of the method processCondition

Specified by:

processUnaryBinaryCondition in class StructuredAnalysis

processSynchronizedLocal

public DavaFlowSet processSynchronizedLocal(Local local,
                                            DavaFlowSet input)

Description copied from class: StructuredAnalysis

To deal with the local used for synch blocks

Specified by:

processSynchronizedLocal in class StructuredAnalysis

processSwitchKey

public DavaFlowSet processSwitchKey(Value key,
                                    DavaFlowSet input)

Description copied from class: StructuredAnalysis

Deal with the key in the switch construct

Specified by:

processSwitchKey in class StructuredAnalysis

processStatement

public DavaFlowSet processStatement(Stmt s,
                                    DavaFlowSet inSet)

Description copied from class: StructuredAnalysis

Specific stmts within AST Constructs are processed through this method. It will be invoked everytime a stmt is encountered

Specified by:

processStatement in class StructuredAnalysis

isMayInitialized

public boolean isMayInitialized(SootField field)

isMayInitialized

public boolean isMayInitialized(Value local)

isMustInitialized

public boolean isMustInitialized(SootField field)

isMustInitialized

public boolean isMustInitialized(Value local)

getDefs

public List getDefs(Value local)

getDefs

public List getDefs(SootField field)