Package | Description |
---|---|
soot.dava | |
soot.dava.internal.AST | |
soot.dava.internal.javaRep | |
soot.dava.internal.SET | |
soot.dava.toolkits.base.finders | |
soot.dava.toolkits.base.misc | |
soot.dava.toolkits.base.renamer |
Modifier and Type | Method and Description |
---|---|
DavaBody |
Dava.newBody(Body b)
Returns a DavaBody constructed from the given body b.
|
DavaBody |
Dava.newBody(Body b)
Returns a DavaBody constructed from the given body b.
|
DavaBody |
Dava.newBody(SootMethod m) |
DavaBody |
Dava.newBody(SootMethod m) |
Constructor and Description |
---|
DavaUnitPrinter(DavaBody body) |
DavaUnitPrinter(DavaBody body) |
Modifier and Type | Method and Description |
---|---|
DavaBody |
ASTMethodNode.getDavaBody() |
DavaBody |
ASTMethodNode.getDavaBody() |
Modifier and Type | Method and Description |
---|---|
void |
ASTMethodNode.setDavaBody(DavaBody bod) |
void |
ASTMethodNode.setDavaBody(DavaBody bod) |
Constructor and Description |
---|
DVariableDeclarationStmt(Type decType,
DavaBody davaBody) |
DVariableDeclarationStmt(Type decType,
DavaBody davaBody) |
Modifier and Type | Method and Description |
---|---|
void |
SETNode.find_StatementSequences(SequenceFinder sf,
DavaBody davaBody) |
void |
SETNode.find_StatementSequences(SequenceFinder sf,
DavaBody davaBody) |
Constructor and Description |
---|
SETStatementSequenceNode(IterableSet body,
DavaBody davaBody) |
SETStatementSequenceNode(IterableSet body,
DavaBody davaBody) |
SETTryNode(IterableSet body,
ExceptionNode en,
AugmentedStmtGraph asg,
DavaBody davaBody) |
SETTryNode(IterableSet body,
ExceptionNode en,
AugmentedStmtGraph asg,
DavaBody davaBody) |
Modifier and Type | Method and Description |
---|---|
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 |
ExceptionFinder.preprocess(DavaBody body,
AugmentedStmtGraph asg) |
void |
ExceptionFinder.preprocess(DavaBody body,
AugmentedStmtGraph asg) |
Modifier and Type | Method and Description |
---|---|
void |
MonitorConverter.convert(DavaBody body) |
void |
ThrowNullConverter.convert(DavaBody body) |
void |
MonitorConverter.convert(DavaBody body) |
void |
ThrowNullConverter.convert(DavaBody body) |
Constructor and Description |
---|
infoGatheringAnalysis(DavaBody davaBody) |
infoGatheringAnalysis(DavaBody davaBody) |