| Package | Description |
|---|---|
| boomerang.scene | |
| boomerang.scene.jimple |
| Modifier and Type | Method and Description |
|---|---|
static Statement |
Statement.epsilon() |
Statement |
ControlFlowGraph.Edge.getStart() |
Statement |
IfStatement.getTarget() |
Statement |
ControlFlowGraph.Edge.getTarget() |
Statement |
CallGraph.Edge.src() |
| Modifier and Type | Method and Description |
|---|---|
Collection<Statement> |
ControlFlowGraph.getEndPoints() |
com.google.common.collect.Multimap<Field,Statement> |
CallGraph.getFieldLoadStatements() |
com.google.common.collect.Multimap<Field,Statement> |
CallGraph.getFieldStoreStatements() |
Collection<Statement> |
ControlFlowGraph.getPredsOf(Statement curr) |
Collection<Statement> |
ControlFlowGraph.getStartPoints() |
abstract List<Statement> |
Method.getStatements() |
List<Statement> |
ControlFlowGraph.getStatements() |
Collection<Statement> |
ControlFlowGraph.getSuccsOf(Statement curr) |
| Modifier and Type | Method and Description |
|---|---|
Collection<CallGraph.Edge> |
CallGraph.edgesOutOf(Statement stmt) |
Collection<Statement> |
ControlFlowGraph.getPredsOf(Statement curr) |
Collection<Statement> |
ControlFlowGraph.getSuccsOf(Statement curr) |
abstract boolean |
Statement.killAtIfStmt(Val fact,
Statement successor)
This method kills a data-flow at an if-stmt, it is assumed that the propagated "allocation"
site is x = null and fact is the propagated aliased variable.
|
| Constructor and Description |
|---|
AllocVal(Val delegate,
Statement allocStatement,
Val allocationVal) |
Edge(Statement callSite,
Method callee) |
Edge(Statement start,
Statement target) |
| Modifier and Type | Class and Description |
|---|---|
class |
JimpleStatement |
| Modifier and Type | Method and Description |
|---|---|
static Statement |
JimpleStatement.create(soot.jimple.Stmt delegate,
Method m) |
Statement |
JimpleIfStatement.getTarget() |
| Modifier and Type | Method and Description |
|---|---|
Collection<Statement> |
JimpleControlFlowGraph.getEndPoints() |
Collection<Statement> |
JimpleControlFlowGraph.getPredsOf(Statement curr) |
Collection<Statement> |
JimpleControlFlowGraph.getStartPoints() |
List<Statement> |
JimpleControlFlowGraph.getStatements() |
List<Statement> |
JimpleMethod.getStatements() |
Collection<Statement> |
JimpleControlFlowGraph.getSuccsOf(Statement curr) |
| Modifier and Type | Method and Description |
|---|---|
Collection<Statement> |
JimpleControlFlowGraph.getPredsOf(Statement curr) |
Collection<Statement> |
JimpleControlFlowGraph.getSuccsOf(Statement curr) |
boolean |
JimpleStatement.killAtIfStmt(Val fact,
Statement successor)
Deprecated.
|
Copyright © 2024. All rights reserved.