|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of ASTNode in soot.dava |
---|
Methods in soot.dava with parameters of type ASTNode | |
---|---|
List<Object> |
MethodCallFinder.getSubBodyFromSingleSubBodyNode(ASTNode node)
|
List<Object> |
MethodCallFinder.getSubBodyFromSingleSubBodyNode(ASTNode node)
|
Uses of ASTNode in soot.dava.internal.AST |
---|
Subclasses of ASTNode in soot.dava.internal.AST | |
---|---|
class |
ASTControlFlowNode
|
class |
ASTDoWhileNode
|
class |
ASTForLoopNode
|
class |
ASTIfElseNode
|
class |
ASTIfNode
|
class |
ASTLabeledBlockNode
|
class |
ASTLabeledNode
|
class |
ASTMethodNode
|
class |
ASTStatementSequenceNode
|
class |
ASTSwitchNode
|
class |
ASTSynchronizedBlockNode
|
class |
ASTTryNode
|
class |
ASTUnconditionalLoopNode
|
class |
ASTWhileNode
|
Uses of ASTNode in soot.dava.internal.SET |
---|
Methods in soot.dava.internal.SET that return ASTNode | |
---|---|
ASTNode |
SETDoWhileNode.emit_AST()
|
ASTNode |
SETIfElseNode.emit_AST()
|
ASTNode |
SETLabeledBlockNode.emit_AST()
|
abstract ASTNode |
SETNode.emit_AST()
|
ASTNode |
SETStatementSequenceNode.emit_AST()
|
ASTNode |
SETSwitchNode.emit_AST()
|
ASTNode |
SETSynchronizedBlockNode.emit_AST()
|
ASTNode |
SETTopNode.emit_AST()
|
ASTNode |
SETTryNode.emit_AST()
|
ASTNode |
SETUnconditionalWhileNode.emit_AST()
|
ASTNode |
SETWhileNode.emit_AST()
|
ASTNode |
SETWhileNode.emit_AST()
|
ASTNode |
SETUnconditionalWhileNode.emit_AST()
|
ASTNode |
SETTryNode.emit_AST()
|
ASTNode |
SETTopNode.emit_AST()
|
ASTNode |
SETSynchronizedBlockNode.emit_AST()
|
ASTNode |
SETSwitchNode.emit_AST()
|
ASTNode |
SETStatementSequenceNode.emit_AST()
|
abstract ASTNode |
SETNode.emit_AST()
|
ASTNode |
SETLabeledBlockNode.emit_AST()
|
ASTNode |
SETIfElseNode.emit_AST()
|
ASTNode |
SETDoWhileNode.emit_AST()
|
Uses of ASTNode in soot.dava.toolkits.base.AST |
---|
Methods in soot.dava.toolkits.base.AST with parameters of type ASTNode | |
---|---|
void |
ASTAnalysis.analyseASTNode(ASTNode n)
|
void |
TryContentsFinder.analyseASTNode(ASTNode n)
|
void |
UselessTryRemover.analyseASTNode(ASTNode n)
|
void |
UselessTryRemover.analyseASTNode(ASTNode n)
|
void |
TryContentsFinder.analyseASTNode(ASTNode n)
|
void |
ASTAnalysis.analyseASTNode(ASTNode n)
|
Uses of ASTNode in soot.dava.toolkits.base.AST.analysis |
---|
Methods in soot.dava.toolkits.base.AST.analysis with parameters of type ASTNode | |
---|---|
void |
DepthFirstAdapter.normalRetrieving(ASTNode node)
|
void |
DepthFirstAdapter.normalRetrieving(ASTNode node)
|
Uses of ASTNode in soot.dava.toolkits.base.AST.structuredAnalysis |
---|
Methods in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type ASTNode | |
---|---|
List |
DavaFlowSet.getImplicitlyBrokenSets(ASTNode node)
|
List |
DavaFlowSet.getImplicitlyBrokenSets(ASTNode node)
|
List |
DavaFlowSet.getImplicitlyContinuedSets(ASTNode node)
|
List |
DavaFlowSet.getImplicitlyContinuedSets(ASTNode node)
|
String |
StructuredAnalysis.getLabel(ASTNode node)
returns label on the ASTNode null if the ASTNode cannot hold a label or if the label is null |
String |
StructuredAnalysis.getLabel(ASTNode node)
returns label on the ASTNode null if the ASTNode cannot hold a label or if the label is null |
Object |
StructuredAnalysis.handleBreak(String label,
Object 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 |
Object |
UnreachableCodeFinder.handleBreak(String label,
Object output,
ASTNode node)
|
Object |
UnreachableCodeFinder.handleBreak(String label,
Object output,
ASTNode node)
|
Object |
StructuredAnalysis.handleBreak(String label,
Object 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 |
Object |
StructuredAnalysis.handleContinue(String label,
Object output,
ASTNode node)
Need to handleContinue stmts There can be explicit continues (in which case label is non null) There can always be implicit continues ASTNode is non null |
Object |
StructuredAnalysis.handleContinue(String label,
Object output,
ASTNode node)
Need to handleContinue stmts There can be explicit continues (in which case label is non null) There can always be implicit continues ASTNode is non null |
Object |
UnreachableCodeFinder.ifNotReachableReturnInputElseProcessBodyAndReturnTrue(ASTNode node,
Object input)
|
Object |
UnreachableCodeFinder.ifNotReachableReturnInputElseProcessBodyAndReturnTrue(ASTNode node,
Object input)
|
Object |
StructuredAnalysis.processASTNode(ASTNode node,
Object input)
|
Object |
StructuredAnalysis.processASTNode(ASTNode node,
Object input)
|
Object |
StructuredAnalysis.processSingleSubBodyNode(ASTNode node,
Object input)
This method is called from the specialized ASTNodes. |
Object |
StructuredAnalysis.processSingleSubBodyNode(ASTNode node,
Object input)
This method is called from the specialized ASTNodes. |
Uses of ASTNode in soot.dava.toolkits.base.AST.transformations |
---|
Methods in soot.dava.toolkits.base.AST.transformations that return types with arguments of type ASTNode | |
---|---|
static List<ASTNode> |
StrengthenByIfElse.getNewNode(ASTNode loopNode,
ASTIfElseNode ifElseNode)
|
static List<ASTNode> |
StrengthenByIfElse.getNewNode(ASTNode loopNode,
ASTIfElseNode ifElseNode)
|
static List<ASTNode> |
StrengthenByIf.getNewNode(ASTNode loopNode,
ASTIfNode ifNode)
|
static List<ASTNode> |
StrengthenByIf.getNewNode(ASTNode loopNode,
ASTIfNode ifNode)
|
Methods in soot.dava.toolkits.base.AST.transformations with parameters of type ASTNode | |
---|---|
boolean |
EliminateConditions.canChange(Boolean returned,
ASTNode temp)
|
boolean |
EliminateConditions.canChange(Boolean returned,
ASTNode temp)
|
boolean |
EliminateConditions.change(Boolean returned,
ASTNode temp)
|
boolean |
EliminateConditions.change(Boolean returned,
ASTNode temp)
|
static void |
OrAggregatorThree.checkAndTransform(ASTNode node,
ASTIfNode ifOne,
ASTIfNode ifTwo,
int nodeNumber,
int subBodyNumber)
|
static void |
OrAggregatorThree.checkAndTransform(ASTNode node,
ASTIfNode ifOne,
ASTIfNode ifTwo,
int nodeNumber,
int subBodyNumber)
|
boolean |
UselessAbruptStmtRemover.checkChildLastInParent(ASTNode child,
ASTNode parent)
|
boolean |
UselessAbruptStmtRemover.checkChildLastInParent(ASTNode child,
ASTNode parent)
|
void |
DeInliningFinalFields.checkConditionalUses(Object cond,
ASTNode node)
|
void |
DeInliningFinalFields.checkConditionalUses(Object cond,
ASTNode node)
|
static List<Object> |
LoopStrengthener.createNewSubBody(List<Object> oldSubBody,
int nodeNumber,
ASTNode oldNode,
List<ASTNode> newNode)
|
static List<Object> |
LoopStrengthener.createNewSubBody(List<Object> oldSubBody,
int nodeNumber,
ASTNode oldNode,
List<ASTNode> newNode)
|
Boolean |
EliminateConditions.eliminate(ASTNode node)
|
Boolean |
EliminateConditions.eliminate(ASTNode node)
|
Boolean |
EliminateConditions.eliminateForTry(ASTNode node)
|
Boolean |
EliminateConditions.eliminateForTry(ASTNode node)
|
boolean |
UselessLabelFinder.findAndKill(ASTNode node)
|
boolean |
UselessLabelFinder.findAndKill(ASTNode node)
|
static List<ASTNode> |
StrengthenByIfElse.getNewNode(ASTNode loopNode,
ASTIfElseNode ifElseNode)
|
static List<ASTNode> |
StrengthenByIfElse.getNewNode(ASTNode loopNode,
ASTIfElseNode ifElseNode)
|
static List<ASTNode> |
StrengthenByIf.getNewNode(ASTNode loopNode,
ASTIfNode ifNode)
|
static List<ASTNode> |
StrengthenByIf.getNewNode(ASTNode loopNode,
ASTIfNode ifNode)
|
void |
ASTCleaner.normalRetrieving(ASTNode node)
|
void |
ASTCleanerTwo.normalRetrieving(ASTNode node)
|
void |
EliminateConditions.normalRetrieving(ASTNode node)
|
void |
ForLoopCreator.normalRetrieving(ASTNode node)
|
void |
LoopStrengthener.normalRetrieving(ASTNode node)
|
void |
UnreachableCodeEliminator.normalRetrieving(ASTNode node)
|
void |
UnreachableCodeEliminator.normalRetrieving(ASTNode node)
|
void |
LoopStrengthener.normalRetrieving(ASTNode node)
|
void |
ForLoopCreator.normalRetrieving(ASTNode node)
|
void |
EliminateConditions.normalRetrieving(ASTNode node)
|
void |
ASTCleanerTwo.normalRetrieving(ASTNode node)
|
void |
ASTCleaner.normalRetrieving(ASTNode node)
|
static void |
EmptyElseRemover.removeElseBody(ASTNode node,
ASTIfElseNode ifElseNode,
int subBodyNumber,
int nodeNumber)
|
static void |
EmptyElseRemover.removeElseBody(ASTNode node,
ASTIfElseNode ifElseNode,
int subBodyNumber,
int nodeNumber)
|
static void |
UselessLabeledBlockRemover.removeLabeledBlock(ASTNode node,
ASTLabeledBlockNode labelBlock,
int subBodyNumber,
int nodeNumber)
|
static void |
UselessLabeledBlockRemover.removeLabeledBlock(ASTNode node,
ASTLabeledBlockNode labelBlock,
int subBodyNumber,
int nodeNumber)
|
Method parameters in soot.dava.toolkits.base.AST.transformations with type arguments of type ASTNode | |
---|---|
static List<Object> |
LoopStrengthener.createNewSubBody(List<Object> oldSubBody,
int nodeNumber,
ASTNode oldNode,
List<ASTNode> newNode)
|
static List<Object> |
LoopStrengthener.createNewSubBody(List<Object> oldSubBody,
int nodeNumber,
ASTNode oldNode,
List<ASTNode> newNode)
|
Constructors in soot.dava.toolkits.base.AST.transformations with parameters of type ASTNode | |
---|---|
LocalVariableCleaner(ASTNode AST)
|
|
LocalVariableCleaner(ASTNode AST)
|
|
LocalVariableCleaner(boolean verbose,
ASTNode AST)
|
|
LocalVariableCleaner(boolean verbose,
ASTNode AST)
|
|
UnreachableCodeEliminator(ASTNode AST)
|
|
UnreachableCodeEliminator(ASTNode AST)
|
|
UnreachableCodeEliminator(boolean verbose,
ASTNode AST)
|
|
UnreachableCodeEliminator(boolean verbose,
ASTNode AST)
|
Uses of ASTNode in soot.dava.toolkits.base.AST.traversals |
---|
Methods in soot.dava.toolkits.base.AST.traversals that return ASTNode | |
---|---|
ASTNode |
ClosestAbruptTargetFinder.getTarget(DAbruptStmt ab)
To be invoked by other analyses. |
ASTNode |
ClosestAbruptTargetFinder.getTarget(DAbruptStmt ab)
To be invoked by other analyses. |
Methods in soot.dava.toolkits.base.AST.traversals with parameters of type ASTNode | |
---|---|
void |
ASTUsesAndDefs.checkConditionalUses(ASTCondition cond,
ASTNode node)
|
void |
AllVariableUses.checkConditionalUses(ASTCondition cond,
ASTNode node)
|
void |
ASTUsesAndDefs.checkConditionalUses(ASTCondition cond,
ASTNode node)
|
void |
AllVariableUses.checkConditionalUses(ASTCondition cond,
ASTNode node)
|
Constructors in soot.dava.toolkits.base.AST.traversals with parameters of type ASTNode | |
---|---|
ASTUsesAndDefs(ASTNode AST)
|
|
ASTUsesAndDefs(ASTNode AST)
|
|
ASTUsesAndDefs(boolean verbose,
ASTNode AST)
|
|
ASTUsesAndDefs(boolean verbose,
ASTNode AST)
|
|
CopyPropagation(ASTNode AST)
|
|
CopyPropagation(ASTNode AST)
|
|
CopyPropagation(boolean verbose,
ASTNode AST)
|
|
CopyPropagation(boolean verbose,
ASTNode AST)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |