| Package | Description |
|---|---|
| soot |
Base Soot classes, shared by different intermediate representations.
|
| soot.jimple |
Public classes for the Jimple intermediate representation.
|
| soot.jimple.internal |
Internal, messy, implementation-specific classes for the Jimple intermediate representation.
|
| soot.jimple.toolkits.callgraph | |
| soot.jimple.toolkits.pointer |
| Modifier and Type | Interface and Description |
|---|---|
interface |
IdentityUnit
A unit that assigns to a variable from one of {parameters, this, caughtexception}.
|
interface |
Unit
A code fragment (eg Stmt or Inst), used within Body
classes.
|
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractUnit
Provides default implementations for the methods in Unit.
|
| Modifier and Type | Method and Description |
|---|---|
Context |
SootMethod.context() |
Context |
MethodOrMethodContext.context() |
Context |
MethodContext.context() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
EscapeAnalysis.mayEscapeMethod(Context c,
AnyNewExpr n)
Returns true if objects allocated at n in context c may
continue to be live after the method in which they are allocated
returns.
|
boolean |
EscapeAnalysis.mayEscapeThread(Context c,
AnyNewExpr n)
Returns true if objects allocated at n in context c may be
accessed in a thread other than the thread in which they
were allocated.
|
PointsToSet |
PointsToAnalysis.reachingObjects(Context c,
Local l)
Returns the set of objects pointed to by variable l in context c.
|
PointsToSet |
PointsToAnalysis.reachingObjects(Context c,
Local l,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects pointed to by l in context c.
|
static MethodOrMethodContext |
MethodContext.v(SootMethod method,
Context context) |
| Modifier and Type | Interface and Description |
|---|---|
interface |
AssignStmt |
interface |
BreakpointStmt |
interface |
DefinitionStmt |
interface |
EnterMonitorStmt |
interface |
ExitMonitorStmt |
interface |
GotoStmt |
interface |
IdentityStmt |
interface |
IfStmt |
interface |
InvokeStmt |
interface |
LookupSwitchStmt |
interface |
MonitorStmt |
interface |
NopStmt |
interface |
RetStmt |
interface |
ReturnStmt |
interface |
ReturnVoidStmt |
interface |
Stmt |
interface |
TableSwitchStmt |
interface |
ThrowStmt |
| Modifier and Type | Class and Description |
|---|---|
class |
PlaceholderStmt |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractDefinitionStmt |
class |
AbstractStmt |
class |
JAssignStmt |
class |
JBreakpointStmt |
class |
JEnterMonitorStmt |
class |
JExitMonitorStmt |
class |
JGotoStmt |
class |
JIdentityStmt |
class |
JIfStmt |
class |
JInvokeStmt |
class |
JLookupSwitchStmt |
class |
JNopStmt |
class |
JRetStmt |
class |
JReturnStmt |
class |
JReturnVoidStmt |
class |
JTableSwitchStmt |
class |
JThrowStmt |
| Modifier and Type | Method and Description |
|---|---|
Context |
Edge.srcCtxt() |
Context |
ContextSensitiveEdge.srcCtxt()
The context at the source of the call.
|
Context |
Edge.tgtCtxt() |
Context |
ContextSensitiveEdge.tgtCtxt()
The context at the target of the call.
|
| Modifier and Type | Method and Description |
|---|---|
void |
OnFlyCallGraphBuilder.addStringConstant(Local l,
Context srcContext,
java.lang.String constant) |
void |
OnFlyCallGraphBuilder.addType(Local receiver,
Context srcContext,
Type type,
Context typeContext) |
void |
OneCFAContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
void |
ObjSensContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
void |
ContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
void |
ContextInsensitiveContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
java.util.Iterator |
ContextSensitiveCallGraph.edgesInto(Context tgtCtxt,
SootMethod tgt)
Returns all ContextSensitiveEdge's into method tgt in context tgtCtxt.
|
java.util.Iterator |
ContextSensitiveCallGraph.edgesOutOf(Context srcCtxt,
SootMethod src)
Returns all ContextSensitiveEdge's out of method src
in context srcCtxt.
|
java.util.Iterator |
ContextSensitiveCallGraph.edgesOutOf(Context srcCtxt,
SootMethod src,
Unit srcUnit)
Returns all ContextSensitiveEdge's out of unit srcUnit in method src
in context srcCtxt.
|
| Modifier and Type | Method and Description |
|---|---|
PointsToSet |
DumbPointerAnalysis.reachingObjects(Context c,
Local l)
Returns the set of objects pointed to by variable l in context c.
|
PointsToSet |
DumbPointerAnalysis.reachingObjects(Context c,
Local l,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects pointed to by l in context c.
|
Copyright © 2012-2019 RoboVM AB. All Rights Reserved.