Package | Description |
---|---|
soot |
Base Soot classes, shared by different intermediate representations.
|
soot.dava.internal.asg | |
soot.dava.internal.SET | |
soot.dava.toolkits.base.finders |
Modifier and Type | Field and Description |
---|---|
HashMap<SETNode,SETBasicBlock> |
G.SETBasicBlock_binding |
HashMap<SETNode,SETBasicBlock> |
G.SETBasicBlock_binding |
Modifier and Type | Field and Description |
---|---|
SETNode |
AugmentedStmt.myNode |
SETNode |
AugmentedStmt.myNode |
Modifier and Type | Class and Description |
---|---|
class |
SETControlFlowNode |
class |
SETCycleNode |
class |
SETDagNode |
class |
SETDoWhileNode |
class |
SETIfElseNode |
class |
SETLabeledBlockNode |
class |
SETStatementSequenceNode |
class |
SETSwitchNode |
class |
SETSynchronizedBlockNode |
class |
SETTopNode |
class |
SETTryNode |
class |
SETUnconditionalWhileNode |
class |
SETWhileNode |
Modifier and Type | Field and Description |
---|---|
protected SETNode |
SETNode.parent |
protected SETNode |
SETNode.parent |
Modifier and Type | Method and Description |
---|---|
SETNode |
SETBasicBlock.get_EntryNode() |
SETNode |
SETBasicBlock.get_EntryNode() |
SETNode |
SETBasicBlock.get_ExitNode() |
SETNode |
SETBasicBlock.get_ExitNode() |
SETNode |
SETNode.get_Parent() |
SETNode |
SETNode.get_Parent() |
Modifier and Type | Method and Description |
---|---|
boolean |
SETNode.add_Child(SETNode child,
IterableSet children) |
boolean |
SETNode.add_Child(SETNode child,
IterableSet children) |
void |
SETBasicBlock.add(SETNode sn) |
void |
SETBasicBlock.add(SETNode sn) |
IterableSet<AugmentedStmt> |
SETNode.get_IntersectionWith(SETNode other) |
IterableSet<AugmentedStmt> |
SETNode.get_IntersectionWith(SETNode other) |
static SETBasicBlock |
SETBasicBlock.get_SETBasicBlock(SETNode o) |
static SETBasicBlock |
SETBasicBlock.get_SETBasicBlock(SETNode o) |
boolean |
SETNode.has_IntersectionWith(SETNode other) |
boolean |
SETNode.has_IntersectionWith(SETNode other) |
boolean |
SETNode.insert_ChildBefore(SETNode child,
SETNode point,
IterableSet children) |
boolean |
SETNode.insert_ChildBefore(SETNode child,
SETNode point,
IterableSet children) |
boolean |
SETNode.is_StrictSupersetOf(SETNode other) |
boolean |
SETNode.is_StrictSupersetOf(SETNode other) |
boolean |
SETNode.is_SupersetOf(SETNode other) |
boolean |
SETNode.is_SupersetOf(SETNode other) |
boolean |
SETNode.nest(SETNode other) |
boolean |
SETNode.nest(SETNode other) |
boolean |
SETNode.remove_Child(SETNode child,
IterableSet children) |
boolean |
SETNode.remove_Child(SETNode child,
IterableSet children) |
protected boolean |
SETControlFlowNode.resolve(SETNode parent) |
protected boolean |
SETLabeledBlockNode.resolve(SETNode parent) |
protected abstract boolean |
SETNode.resolve(SETNode parent) |
protected boolean |
SETStatementSequenceNode.resolve(SETNode parent) |
protected boolean |
SETSynchronizedBlockNode.resolve(SETNode parent) |
protected boolean |
SETTopNode.resolve(SETNode parent) |
protected boolean |
SETTryNode.resolve(SETNode parent) |
protected boolean |
SETTryNode.resolve(SETNode parent) |
protected boolean |
SETSynchronizedBlockNode.resolve(SETNode parent) |
protected boolean |
SETLabeledBlockNode.resolve(SETNode parent) |
protected boolean |
SETStatementSequenceNode.resolve(SETNode parent) |
protected boolean |
SETControlFlowNode.resolve(SETNode parent) |
protected boolean |
SETTopNode.resolve(SETNode parent) |
protected abstract boolean |
SETNode.resolve(SETNode parent) |
Modifier and Type | Method and Description |
---|---|
void |
AbruptEdgeFinder.find_Breaks(SETNode prev,
SETNode cur) |
void |
AbruptEdgeFinder.find_Breaks(SETNode prev,
SETNode cur) |
void |
AbruptEdgeFinder.find_Continues(SETNode SETParent,
IterableSet body,
IterableSet children) |
void |
AbruptEdgeFinder.find_Continues(SETNode SETParent,
IterableSet body,
IterableSet children) |
void |
LabeledBlockFinder.find_LabeledBlocks(SETNode SETParent) |
void |
LabeledBlockFinder.find_LabeledBlocks(SETNode SETParent) |
void |
SequenceFinder.find_StatementSequences(SETNode SETParent,
IterableSet body,
HashSet<AugmentedStmt> childUnion,
DavaBody davaBody) |
void |
SequenceFinder.find_StatementSequences(SETNode SETParent,
IterableSet body,
HashSet<AugmentedStmt> childUnion,
DavaBody davaBody) |
void |
AbruptEdgeFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
CycleFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
ExceptionFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
FactFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
IfFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
LabeledBlockFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
SequenceFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
SwitchFinder.find(DavaBody davaBody,
AugmentedStmtGraph asg,
SETNode SET) |
void |
SynchronizedBlockFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
CycleFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
SequenceFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
IfFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
AbruptEdgeFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
ExceptionFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
SwitchFinder.find(DavaBody davaBody,
AugmentedStmtGraph asg,
SETNode SET) |
void |
LabeledBlockFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
FactFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
SynchronizedBlockFinder.find(DavaBody body,
AugmentedStmtGraph asg,
SETNode SET) |
void |
LabeledBlockFinder.perform_ChildOrder(SETNode SETParent) |
void |
LabeledBlockFinder.perform_ChildOrder(SETNode SETParent) |