| Package | Description |
|---|---|
| soot.dava.internal.javaRep | |
| soot.dava.toolkits.base.AST | |
| soot.dava.toolkits.base.AST.analysis | |
| soot.dava.toolkits.base.renamer | |
| soot.grimp |
Public classes for the Grimp intermediate representation.
|
| soot.grimp.internal |
Internal, messy, implementation-specific classes for the Grimp intermediate representation.
|
| soot.JastAddJ | |
| soot.jimple |
Public classes for the Jimple intermediate representation.
|
| soot.jimple.internal |
Internal, messy, implementation-specific classes for the Jimple intermediate representation.
|
| soot.jimple.spark.builder | |
| soot.jimple.toolkits.annotation.arraycheck |
Classes that carry out an analysis to determine whether or not array bounds
checks are necessary.
|
| soot.sootify | |
| soot.toolkits.exceptions |
| Modifier and Type | Method and Description |
|---|---|
ArrayRef |
DVariableDeclarationStmt.getArrayRef() |
| Modifier and Type | Method and Description |
|---|---|
void |
ASTAnalysis.analyseArrayRef(ArrayRef v) |
| Modifier and Type | Method and Description |
|---|---|
void |
DepthFirstAdapter.caseArrayRef(ArrayRef ar) |
void |
Analysis.caseArrayRef(ArrayRef ar) |
void |
AnalysisAdapter.caseArrayRef(ArrayRef ar) |
void |
DepthFirstAdapter.inArrayRef(ArrayRef ar) |
void |
DepthFirstAdapter.outArrayRef(ArrayRef ar) |
| Modifier and Type | Method and Description |
|---|---|
void |
infoGatheringAnalysis.inArrayRef(ArrayRef ar) |
| Modifier and Type | Method and Description |
|---|---|
ArrayRef |
Grimp.newArrayRef(Value base,
Value index)
Constructs a ArrayRef(Local, Expr) grammar chunk.
|
| Modifier and Type | Class and Description |
|---|---|
class |
GArrayRef |
| Modifier and Type | Method and Description |
|---|---|
ArrayRef |
Body.newArrayRef(Value base,
Value index,
ASTNode location) |
| 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 |
AbstractJimpleValueSwitch.caseArrayRef(ArrayRef v) |
void |
AbstractRefSwitch.caseArrayRef(ArrayRef v) |
void |
RefSwitch.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 |
AbstractStmt.getArrayRef() |
ArrayRef |
JAssignStmt.getArrayRef() |
| Modifier and Type | Method and Description |
|---|---|
void |
MethodNodeFactory.caseArrayRef(ArrayRef ar) |
| 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 |
ValueTemplatePrinter.caseArrayRef(ArrayRef v) |
| Modifier and Type | Method and Description |
|---|---|
void |
UnitThrowAnalysis.ValueSwitch.caseArrayRef(ArrayRef ref) |
Copyright © 2020 Soot OSS. All rights reserved.