| Package | Description |
|---|---|
| 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.annotation.arraycheck |
Classes that carry out an analysis to determine whether or not array bounds
checks are necessary.
|
| soot.toolkits.exceptions |
| Modifier and Type | Method and Description |
|---|---|
ArrayRef |
Stmt.getArrayRef() |
ArrayRef |
Jimple.newArrayRef(Value base,
Value index)
Constructs a ArrayRef(Local, Immediate) grammar chunk.
|
| Modifier and Type | Method and Description |
|---|---|
protected abstract void |
PointerStmtSwitch.caseArrayLoadStmt(Local dest,
ArrayRef src)
A statement of the form l1 = l2[i];
|
void |
RefSwitch.caseArrayRef(ArrayRef v) |
void |
AbstractRefSwitch.caseArrayRef(ArrayRef v) |
void |
AbstractJimpleValueSwitch.caseArrayRef(ArrayRef v) |
protected abstract void |
PointerStmtSwitch.caseArrayStoreStmt(ArrayRef dest,
Local src)
A statement of the form l1[i] = l2;
|
| Modifier and Type | Class and Description |
|---|---|
class |
JArrayRef |
| Modifier and Type | Method and Description |
|---|---|
ArrayRef |
JAssignStmt.getArrayRef() |
ArrayRef |
AbstractStmt.getArrayRef() |
| Modifier and Type | Method and Description |
|---|---|
protected int |
ArrayBoundsChecker.interpretGraph(soot.jimple.toolkits.annotation.arraycheck.WeightedDirectedSparseGraph vgraph,
ArrayRef aref,
Stmt stmt,
soot.jimple.toolkits.annotation.arraycheck.IntContainer zero) |
| Modifier and Type | Method and Description |
|---|---|
void |
UnitThrowAnalysis.ValueSwitch.caseArrayRef(ArrayRef ref) |
Copyright © 2012-2019 RoboVM AB. All Rights Reserved.