soot.dava.toolkits.base.AST.structuredAnalysis

Class UnreachableCodeFinder

java.lang.Object

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

soot.dava.toolkits.base.AST.structuredAnalysis.UnreachableCodeFinder

public class UnreachableCodeFinder
extends StructuredAnalysis

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	UnreachableCodeFinder.UnreachableCodeFlowSet

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	DEBUG

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

DEBUG_IF, DEBUG_STATEMENTS, DEBUG_TRY, DEBUG_WHILE, MERGETYPE

Constructor Summary

Constructors

Constructor and Description
UnreachableCodeFinder(Object analyze)

Method Summary

Modifier and Type	Method and Description
UnreachableCodeFinder.UnreachableCodeFlowSet	cloneFlowSet(DavaFlowSet flowSet) Make a clone of the flowset The implementor should know when they want a shallow or deep clone
DavaFlowSet	emptyFlowSet()
DavaFlowSet	handleBreak(String label, DavaFlowSet output, ASTNode node) Need to handleBreak stmts There can be explicit breaks (in which case label is non null) There can always be implicit breaks ASTNode is non null
DavaFlowSet	ifNotReachableReturnInputElseProcessBodyAndReturnTrue(ASTNode node, DavaFlowSet input)
boolean	isConstructReachable(Object construct)
boolean	isReachable(Object input)
DavaFlowSet	newInitialFlow()
DavaFlowSet	processAbruptStatements(Stmt s, DavaFlowSet input) Whenever a statement has to be processed the first step is to invoke this method.
DavaFlowSet	processASTDoWhileNode(ASTDoWhileNode node, DavaFlowSet input)
DavaFlowSet	processASTForLoopNode(ASTForLoopNode node, DavaFlowSet input)
DavaFlowSet	processASTIfElseNode(ASTIfElseNode node, DavaFlowSet input)
DavaFlowSet	processASTIfNode(ASTIfNode node, DavaFlowSet input)
DavaFlowSet	processASTLabeledBlockNode(ASTLabeledBlockNode node, DavaFlowSet input)
DavaFlowSet	processASTStatementSequenceNode(ASTStatementSequenceNode node, DavaFlowSet input)
DavaFlowSet	processASTSwitchNode(ASTSwitchNode node, DavaFlowSet input)
DavaFlowSet	processASTSynchronizedBlockNode(ASTSynchronizedBlockNode node, DavaFlowSet input)
DavaFlowSet	processASTTryNode(ASTTryNode node, DavaFlowSet input)
DavaFlowSet	processASTUnconditionalLoopNode(ASTUnconditionalLoopNode node, DavaFlowSet input)
DavaFlowSet	processASTWhileNode(ASTWhileNode node, DavaFlowSet input)
DavaFlowSet	processStatement(Stmt s, DavaFlowSet input) 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, handleContinue, isDifferent, merge, mergeExplicitAndImplicit, print, process, processASTMethodNode, processASTNode, processCondition, processSingleSubBodyNode

Methods inherited from class java.lang.Object

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

Field Detail

DEBUG

public static boolean DEBUG

Constructor Detail

UnreachableCodeFinder

public UnreachableCodeFinder(Object analyze)

Method Detail

setMergeType

public void setMergeType()

Specified by:

setMergeType in class StructuredAnalysis

newInitialFlow

public DavaFlowSet newInitialFlow()

Specified by:

newInitialFlow in class StructuredAnalysis

emptyFlowSet

public DavaFlowSet emptyFlowSet()

Specified by:

emptyFlowSet in class StructuredAnalysis

cloneFlowSet

public UnreachableCodeFinder.UnreachableCodeFlowSet 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 input)

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

processAbruptStatements

public DavaFlowSet processAbruptStatements(Stmt s,
                                           DavaFlowSet input)

Description copied from class: StructuredAnalysis

Whenever a statement has to be processed the first step is to invoke this method. This is to remove the tedious work of adding code to deal with abrupt control flow from the programmer of the analysis. The method invokes the processStatement method for all other statements A programmer can decide to override this method if they want to do something specific

Overrides:

processAbruptStatements in class StructuredAnalysis

handleBreak

public DavaFlowSet handleBreak(String label,
                               DavaFlowSet output,
                               ASTNode node)

Description copied from class: StructuredAnalysis

Need to handleBreak stmts There can be explicit breaks (in which case label is non null) There can always be implicit breaks ASTNode is non null

Overrides:

handleBreak in class StructuredAnalysis

isReachable

public boolean isReachable(Object input)

processASTStatementSequenceNode

public DavaFlowSet processASTStatementSequenceNode(ASTStatementSequenceNode node,
                                                   DavaFlowSet input)

Overrides:

processASTStatementSequenceNode in class StructuredAnalysis

processASTLabeledBlockNode

public DavaFlowSet processASTLabeledBlockNode(ASTLabeledBlockNode node,
                                              DavaFlowSet input)

Overrides:

processASTLabeledBlockNode in class StructuredAnalysis

processASTSynchronizedBlockNode

public DavaFlowSet processASTSynchronizedBlockNode(ASTSynchronizedBlockNode node,
                                                   DavaFlowSet input)

Overrides:

processASTSynchronizedBlockNode in class StructuredAnalysis

processASTIfElseNode

public DavaFlowSet processASTIfElseNode(ASTIfElseNode node,
                                        DavaFlowSet input)

Overrides:

processASTIfElseNode in class StructuredAnalysis

ifNotReachableReturnInputElseProcessBodyAndReturnTrue

public DavaFlowSet ifNotReachableReturnInputElseProcessBodyAndReturnTrue(ASTNode node,
                                                                         DavaFlowSet input)

processASTIfNode

public DavaFlowSet processASTIfNode(ASTIfNode node,
                                    DavaFlowSet input)

Overrides:

processASTIfNode in class StructuredAnalysis

processASTWhileNode

public DavaFlowSet processASTWhileNode(ASTWhileNode node,
                                       DavaFlowSet input)

Overrides:

processASTWhileNode in class StructuredAnalysis

processASTDoWhileNode

public DavaFlowSet processASTDoWhileNode(ASTDoWhileNode node,
                                         DavaFlowSet input)

Overrides:

processASTDoWhileNode in class StructuredAnalysis

processASTUnconditionalLoopNode

public DavaFlowSet processASTUnconditionalLoopNode(ASTUnconditionalLoopNode node,
                                                   DavaFlowSet input)

Overrides:

processASTUnconditionalLoopNode in class StructuredAnalysis

processASTForLoopNode

public DavaFlowSet processASTForLoopNode(ASTForLoopNode node,
                                         DavaFlowSet input)

Overrides:

processASTForLoopNode in class StructuredAnalysis

processASTSwitchNode

public DavaFlowSet processASTSwitchNode(ASTSwitchNode node,
                                        DavaFlowSet input)

Overrides:

processASTSwitchNode in class StructuredAnalysis

processASTTryNode

public DavaFlowSet processASTTryNode(ASTTryNode node,
                                     DavaFlowSet input)

Overrides:

processASTTryNode in class StructuredAnalysis

isConstructReachable

public boolean isConstructReachable(Object construct)