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<String> |
DavaBody.getImportList() |
IterableSet<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 Map<IterableSet,IterableSet> |
SETNode.body2childChain |
protected Map<IterableSet,IterableSet> |
SETNode.body2childChain |
protected Map<IterableSet,IterableSet> |
SETNode.body2childChain |
protected Map<IterableSet,IterableSet> |
SETNode.body2childChain |
protected LinkedList<IterableSet> |
SETNode.subBodies |
protected LinkedList<IterableSet> |
SETNode.subBodies |
Modifier and Type | Method and Description |
---|---|
Map<IterableSet,IterableSet> |
SETNode.get_Body2ChildChain() |
Map<IterableSet,IterableSet> |
SETNode.get_Body2ChildChain() |
Map<IterableSet,IterableSet> |
SETNode.get_Body2ChildChain() |
Map<IterableSet,IterableSet> |
SETNode.get_Body2ChildChain() |
List<IterableSet> |
SETNode.get_SubBodies() |
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) |
List<Object> |
SETNode.emit_ASTBody(IterableSet children) |
List<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(Object node) |
IterableSet |
TryContentsFinder.get_ExceptionSet(Object node) |
IterableSet |
TryContentsFinder.remove_CurExceptionSet() |
IterableSet |
TryContentsFinder.remove_CurExceptionSet() |
Modifier and Type | Method and Description |
---|---|
void |
TryContentsFinder.add_ExceptionSet(Object node,
IterableSet s) |
void |
TryContentsFinder.add_ExceptionSet(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 |
---|---|
List<IterableSet<AugmentedStmt>> |
ExceptionNode.get_CatchList() |
List<IterableSet<AugmentedStmt>> |
ExceptionNode.get_CatchList() |
Map<IterableSet<AugmentedStmt>,SootClass> |
ExceptionNode.get_ExceptionMap() |
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,
TreeSet<Object> indexSet,
IterableSet body) |
SwitchNode(AugmentedStmt as,
TreeSet<Object> indexSet,
IterableSet body) |
Modifier and Type | Method and Description |
---|---|
static String |
RemoveFullyQualifiedName.getReducedName(IterableSet importList,
String qualifiedName,
Type t) |
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.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) |
Constructor and Description |
---|
UnmodifiableIterableSet(IterableSet<E> original)
Creates a new unmodifiable iterable set as a copy of an existing one
|
UnmodifiableIterableSet(IterableSet<E> original)
Creates a new unmodifiable iterable set as a copy of an existing one
|