Uses of Class
boomerang.scene.Statement

Packages that use Statement

Package	Description
boomerang.scene
boomerang.scene.jimple

Uses of Statement in boomerang.scene

Methods in boomerang.scene that return Statement

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()

Methods in boomerang.scene that return types with arguments of type Statement

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)

Methods in boomerang.scene with parameters of type Statement

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.

Constructors in boomerang.scene with parameters of type Statement

Constructor and Description
AllocVal(Val delegate, Statement allocStatement, Val allocationVal)
Edge(Statement callSite, Method callee)
Edge(Statement start, Statement target)

Uses of Statement in boomerang.scene.jimple

Subclasses of Statement in boomerang.scene.jimple

Modifier and Type	Class and Description
class	JimpleStatement

Methods in boomerang.scene.jimple that return Statement

Modifier and Type	Method and Description
static Statement	JimpleStatement.create(soot.jimple.Stmt delegate, Method m)
Statement	JimpleIfStatement.getTarget()

Methods in boomerang.scene.jimple that return types with arguments of type Statement

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)

Methods in boomerang.scene.jimple with parameters of type Statement

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.