| Package | Description |
|---|---|
| soot.dava | |
| soot.dava.internal.asg | |
| soot.dava.internal.SET | |
| soot.dava.toolkits.base.AST | |
| soot.dava.toolkits.base.finders | |
| soot.dava.toolkits.base.renamer | |
| soot.util |
Generally useful utility classes for Soot.
|
| Modifier and Type | Method and Description |
|---|---|
IterableSet |
Dava.get_CurrentPackageContext() |
IterableSet<ExceptionNode> |
DavaBody.get_ExceptionFacts() |
IterableSet<AugmentedStmt> |
DavaBody.get_MonitorFacts() |
IterableSet<ExceptionNode> |
DavaBody.get_SynchronizedBlockFacts() |
IterableSet<String> |
DavaBody.getImportList() |
| Modifier and Type | Method and Description |
|---|---|
void |
Dava.set_CurrentPackageContext(IterableSet cpc) |
| Modifier and Type | Method and Description |
|---|---|
IterableSet<AugmentedStmt> |
AugmentedStmtGraph.clone_Body(IterableSet<AugmentedStmt> oldBody) |
IterableSet<AugmentedStmt> |
AugmentedStmtGraph.get_ChainView() |
IterableSet<AugmentedStmt> |
AugmentedStmt.get_Dominators() |
IterableSet<AugmentedStmt> |
AugmentedStmt.get_Reachers() |
| Modifier and Type | Method and Description |
|---|---|
IterableSet<AugmentedStmt> |
AugmentedStmtGraph.clone_Body(IterableSet<AugmentedStmt> oldBody) |
void |
AugmentedStmt.set_Reachability(IterableSet<AugmentedStmt> reachers) |
| Modifier and Type | Field and Description |
|---|---|
protected IterableSet |
SETNode.predecessors |
protected IterableSet |
SETNode.successors |
| Modifier and Type | Field and Description |
|---|---|
protected Map<IterableSet,IterableSet> |
SETNode.body2childChain |
protected Map<IterableSet,IterableSet> |
SETNode.body2childChain |
protected LinkedList<IterableSet> |
SETNode.subBodies |
| Modifier and Type | Method and Description |
|---|---|
IterableSet |
SETBasicBlock.get_Body() |
IterableSet<AugmentedStmt> |
SETNode.get_Body() |
IterableSet<AugmentedStmt> |
SETNode.get_IntersectionWith(SETNode other) |
IterableSet |
SETLabeledBlockNode.get_NaturalExits() |
IterableSet |
SETSynchronizedBlockNode.get_NaturalExits() |
IterableSet |
SETTryNode.get_NaturalExits() |
abstract IterableSet |
SETNode.get_NaturalExits() |
IterableSet |
SETSwitchNode.get_NaturalExits() |
IterableSet |
SETTopNode.get_NaturalExits() |
IterableSet |
SETStatementSequenceNode.get_NaturalExits() |
IterableSet |
SETUnconditionalWhileNode.get_NaturalExits() |
IterableSet |
SETIfElseNode.get_NaturalExits() |
IterableSet |
SETWhileNode.get_NaturalExits() |
IterableSet |
SETDoWhileNode.get_NaturalExits() |
IterableSet |
SETBasicBlock.get_Predecessors() |
IterableSet |
SETNode.get_Predecessors() |
IterableSet |
SETBasicBlock.get_Successors() |
IterableSet |
SETNode.get_Successors() |
| Modifier and Type | Method and Description |
|---|---|
Map<IterableSet,IterableSet> |
SETNode.get_Body2ChildChain() |
Map<IterableSet,IterableSet> |
SETNode.get_Body2ChildChain() |
List<IterableSet> |
SETNode.get_SubBodies() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
SETNode.add_Child(SETNode child,
IterableSet children) |
void |
SETNode.add_SubBody(IterableSet body) |
List<Object> |
SETNode.emit_ASTBody(IterableSet children) |
boolean |
SETNode.insert_ChildBefore(SETNode child,
SETNode point,
IterableSet children) |
boolean |
SETNode.remove_Child(SETNode child,
IterableSet children) |
| Modifier and Type | Method and Description |
|---|---|
IterableSet |
TryContentsFinder.get_ExceptionSet(Object node) |
IterableSet |
TryContentsFinder.remove_CurExceptionSet() |
| Modifier and Type | Method and Description |
|---|---|
void |
TryContentsFinder.add_ExceptionSet(Object node,
IterableSet s) |
void |
TryContentsFinder.set_CurExceptionSet(IterableSet curExceptionSet) |
| Modifier and Type | Method and Description |
|---|---|
IterableSet<AugmentedStmt> |
ExceptionNode.get_Body() |
IterableSet |
SwitchNode.get_Body() |
IterableSet<AugmentedStmt> |
ExceptionNode.get_CatchBody() |
IterableSet<AugmentedStmt> |
ExceptionFinder.get_CatchBody(AugmentedStmt handlerAugmentedStmt) |
IterableSet<AugmentedStmt> |
ExceptionNode.get_TryBody() |
| Modifier and Type | Method and Description |
|---|---|
List<IterableSet<AugmentedStmt>> |
ExceptionNode.get_CatchList() |
Map<IterableSet<AugmentedStmt>,SootClass> |
ExceptionNode.get_ExceptionMap() |
| Modifier and Type | Method and Description |
|---|---|
void |
ExceptionNode.add_CatchBody(IterableSet<AugmentedStmt> newCatchBody,
SootClass except) |
void |
AbruptEdgeFinder.find_Continues(SETNode SETParent,
IterableSet body,
IterableSet children) |
void |
AbruptEdgeFinder.find_Continues(SETNode SETParent,
IterableSet body,
IterableSet children) |
void |
SequenceFinder.find_StatementSequences(SETNode SETParent,
IterableSet body,
HashSet<AugmentedStmt> childUnion,
DavaBody davaBody) |
SootClass |
ExceptionNode.get_Exception(IterableSet<AugmentedStmt> catchBody) |
void |
ExceptionNode.splitOff_ExceptionNode(IterableSet<AugmentedStmt> newTryBody,
AugmentedStmtGraph asg,
IterableSet<ExceptionNode> enlist) |
void |
ExceptionNode.splitOff_ExceptionNode(IterableSet<AugmentedStmt> newTryBody,
AugmentedStmtGraph asg,
IterableSet<ExceptionNode> enlist) |
| Constructor and Description |
|---|
ExceptionNode(IterableSet<AugmentedStmt> tryBody,
SootClass exception,
AugmentedStmt handlerAugmentedStmt) |
SwitchNode(AugmentedStmt as,
TreeSet<Object> indexSet,
IterableSet body) |
| Modifier and Type | Method and Description |
|---|---|
static String |
RemoveFullyQualifiedName.getReducedName(IterableSet importList,
String qualifiedName,
Type t) |
| Modifier and Type | Class and Description |
|---|---|
class |
UnmodifiableIterableSet<E>
An unmodifiable version of the IterableSet class
|
| Modifier and Type | Method and Description |
|---|---|
IterableSet<T> |
IterableSet.intersection(IterableSet<T> other) |
IterableSet<T> |
IterableSet.union(IterableSet<T> other) |
| Modifier and Type | Method and Description |
|---|---|
IterableSet<T> |
IterableSet.intersection(IterableSet<T> other) |
boolean |
IterableSet.intersects(IterableSet<T> other) |
boolean |
IterableSet.isStrictSubsetOf(IterableSet<T> other) |
boolean |
IterableSet.isStrictSupersetOf(IterableSet<T> other) |
boolean |
IterableSet.isSubsetOf(IterableSet<T> other) |
boolean |
IterableSet.isSupersetOf(IterableSet<T> other) |
IterableSet<T> |
IterableSet.union(IterableSet<T> other) |
| Constructor and Description |
|---|
UnmodifiableIterableSet(IterableSet<E> original)
Creates a new unmodifiable iterable set as a copy of an existing one
|
Copyright © 2020 Soot OSS. All rights reserved.