| 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 |
Dava.get_CurrentPackageContext() |
IterableSet<ExceptionNode> |
DavaBody.get_ExceptionFacts() |
IterableSet<ExceptionNode> |
DavaBody.get_ExceptionFacts() |
IterableSet<AugmentedStmt> |
DavaBody.get_MonitorFacts() |
IterableSet<AugmentedStmt> |
DavaBody.get_MonitorFacts() |
IterableSet<ExceptionNode> |
DavaBody.get_SynchronizedBlockFacts() |
IterableSet<ExceptionNode> |
DavaBody.get_SynchronizedBlockFacts() |
IterableSet<java.lang.String> |
DavaBody.getImportList() |
IterableSet<java.lang.String> |
DavaBody.getImportList() |
| Modifier and Type | Method and Description |
|---|---|
void |
Dava.set_CurrentPackageContext(IterableSet cpc) |
void |
Dava.set_CurrentPackageContext(IterableSet cpc) |
| Modifier and Type | Method and Description |
|---|---|
IterableSet<AugmentedStmt> |
AugmentedStmtGraph.clone_Body(IterableSet<AugmentedStmt> oldBody) |
IterableSet<AugmentedStmt> |
AugmentedStmtGraph.clone_Body(IterableSet<AugmentedStmt> oldBody) |
IterableSet<AugmentedStmt> |
AugmentedStmtGraph.get_ChainView() |
IterableSet<AugmentedStmt> |
AugmentedStmtGraph.get_ChainView() |
IterableSet<AugmentedStmt> |
AugmentedStmt.get_Dominators() |
IterableSet<AugmentedStmt> |
AugmentedStmt.get_Dominators() |
IterableSet<AugmentedStmt> |
AugmentedStmt.get_Reachers() |
IterableSet<AugmentedStmt> |
AugmentedStmt.get_Reachers() |
| Modifier and Type | Method and Description |
|---|---|
IterableSet<AugmentedStmt> |
AugmentedStmtGraph.clone_Body(IterableSet<AugmentedStmt> oldBody) |
IterableSet<AugmentedStmt> |
AugmentedStmtGraph.clone_Body(IterableSet<AugmentedStmt> oldBody) |
void |
AugmentedStmt.set_Reachability(IterableSet<AugmentedStmt> reachers) |
void |
AugmentedStmt.set_Reachability(IterableSet<AugmentedStmt> reachers) |
| Modifier and Type | Field and Description |
|---|---|
protected IterableSet |
SETNode.predecessors |
protected IterableSet |
SETNode.predecessors |
protected IterableSet |
SETNode.successors |
protected IterableSet |
SETNode.successors |
| Modifier and Type | Field and Description |
|---|---|
protected java.util.Map<IterableSet,IterableSet> |
SETNode.body2childChain |
protected java.util.Map<IterableSet,IterableSet> |
SETNode.body2childChain |
protected java.util.Map<IterableSet,IterableSet> |
SETNode.body2childChain |
protected java.util.Map<IterableSet,IterableSet> |
SETNode.body2childChain |
protected java.util.LinkedList<IterableSet> |
SETNode.subBodies |
protected java.util.LinkedList<IterableSet> |
SETNode.subBodies |
| Modifier and Type | Method and Description |
|---|---|
java.util.Map<IterableSet,IterableSet> |
SETNode.get_Body2ChildChain() |
java.util.Map<IterableSet,IterableSet> |
SETNode.get_Body2ChildChain() |
java.util.Map<IterableSet,IterableSet> |
SETNode.get_Body2ChildChain() |
java.util.Map<IterableSet,IterableSet> |
SETNode.get_Body2ChildChain() |
java.util.List<IterableSet> |
SETNode.get_SubBodies() |
java.util.List<IterableSet> |
SETNode.get_SubBodies() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
SETNode.add_Child(SETNode child,
IterableSet children) |
boolean |
SETNode.add_Child(SETNode child,
IterableSet children) |
void |
SETNode.add_SubBody(IterableSet body) |
void |
SETNode.add_SubBody(IterableSet body) |
java.util.List<java.lang.Object> |
SETNode.emit_ASTBody(IterableSet children) |
java.util.List<java.lang.Object> |
SETNode.emit_ASTBody(IterableSet children) |
boolean |
SETNode.insert_ChildBefore(SETNode child,
SETNode point,
IterableSet children) |
boolean |
SETNode.insert_ChildBefore(SETNode child,
SETNode point,
IterableSet children) |
boolean |
SETNode.remove_Child(SETNode child,
IterableSet children) |
boolean |
SETNode.remove_Child(SETNode child,
IterableSet children) |
| Modifier and Type | Method and Description |
|---|---|
IterableSet |
TryContentsFinder.get_ExceptionSet(java.lang.Object node) |
IterableSet |
TryContentsFinder.get_ExceptionSet(java.lang.Object node) |
IterableSet |
TryContentsFinder.remove_CurExceptionSet() |
IterableSet |
TryContentsFinder.remove_CurExceptionSet() |
| Modifier and Type | Method and Description |
|---|---|
void |
TryContentsFinder.add_ExceptionSet(java.lang.Object node,
IterableSet s) |
void |
TryContentsFinder.add_ExceptionSet(java.lang.Object node,
IterableSet s) |
void |
TryContentsFinder.set_CurExceptionSet(IterableSet curExceptionSet) |
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_Body() |
IterableSet |
SwitchNode.get_Body() |
IterableSet<AugmentedStmt> |
ExceptionNode.get_CatchBody() |
IterableSet<AugmentedStmt> |
ExceptionNode.get_CatchBody() |
IterableSet<AugmentedStmt> |
ExceptionFinder.get_CatchBody(AugmentedStmt handlerAugmentedStmt) |
IterableSet<AugmentedStmt> |
ExceptionFinder.get_CatchBody(AugmentedStmt handlerAugmentedStmt) |
IterableSet<AugmentedStmt> |
ExceptionNode.get_TryBody() |
IterableSet<AugmentedStmt> |
ExceptionNode.get_TryBody() |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<IterableSet<AugmentedStmt>> |
ExceptionNode.get_CatchList() |
java.util.List<IterableSet<AugmentedStmt>> |
ExceptionNode.get_CatchList() |
java.util.Map<IterableSet<AugmentedStmt>,SootClass> |
ExceptionNode.get_ExceptionMap() |
java.util.Map<IterableSet<AugmentedStmt>,SootClass> |
ExceptionNode.get_ExceptionMap() |
| Constructor and Description |
|---|
ExceptionNode(IterableSet<AugmentedStmt> tryBody,
SootClass exception,
AugmentedStmt handlerAugmentedStmt) |
ExceptionNode(IterableSet<AugmentedStmt> tryBody,
SootClass exception,
AugmentedStmt handlerAugmentedStmt) |
SwitchNode(AugmentedStmt as,
java.util.TreeSet<java.lang.Object> indexSet,
IterableSet body) |
SwitchNode(AugmentedStmt as,
java.util.TreeSet<java.lang.Object> indexSet,
IterableSet body) |
| Modifier and Type | Method and Description |
|---|---|
static java.lang.String |
RemoveFullyQualifiedName.getReducedName(IterableSet importList,
java.lang.String qualifiedName,
Type t) |
static java.lang.String |
RemoveFullyQualifiedName.getReducedName(IterableSet importList,
java.lang.String qualifiedName,
Type t) |
| Modifier and Type | Method and Description |
|---|---|
IterableSet<T> |
IterableSet.intersection(IterableSet<T> other) |
IterableSet<T> |
IterableSet.intersection(IterableSet<T> other) |
IterableSet<T> |
IterableSet.union(IterableSet<T> other) |
IterableSet<T> |
IterableSet.union(IterableSet<T> other) |
| Modifier and Type | Method and Description |
|---|---|
IterableSet<T> |
IterableSet.intersection(IterableSet<T> other) |
IterableSet<T> |
IterableSet.intersection(IterableSet<T> other) |
boolean |
IterableSet.intersects(IterableSet<T> other) |
boolean |
IterableSet.intersects(IterableSet<T> other) |
boolean |
IterableSet.isStrictSubsetOf(IterableSet<T> other) |
boolean |
IterableSet.isStrictSubsetOf(IterableSet<T> other) |
boolean |
IterableSet.isStrictSupersetOf(IterableSet<T> other) |
boolean |
IterableSet.isStrictSupersetOf(IterableSet<T> other) |
boolean |
IterableSet.isSubsetOf(IterableSet<T> other) |
boolean |
IterableSet.isSubsetOf(IterableSet<T> other) |
boolean |
IterableSet.isSupersetOf(IterableSet<T> other) |
boolean |
IterableSet.isSupersetOf(IterableSet<T> other) |
IterableSet<T> |
IterableSet.union(IterableSet<T> other) |
IterableSet<T> |
IterableSet.union(IterableSet<T> other) |