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.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() |
ArrayRef |
DVariableDeclarationStmt.getArrayRef() |
Modifier and Type | Method and Description |
---|---|
void |
ASTAnalysis.analyseArrayRef(ArrayRef v) |
void |
ASTAnalysis.analyseArrayRef(ArrayRef v) |
Modifier and Type | Method and Description |
---|---|
void |
Analysis.caseArrayRef(ArrayRef ar) |
void |
AnalysisAdapter.caseArrayRef(ArrayRef ar) |
void |
DepthFirstAdapter.caseArrayRef(ArrayRef ar) |
void |
DepthFirstAdapter.caseArrayRef(ArrayRef ar) |
void |
AnalysisAdapter.caseArrayRef(ArrayRef ar) |
void |
Analysis.caseArrayRef(ArrayRef ar) |
void |
DepthFirstAdapter.inArrayRef(ArrayRef ar) |
void |
DepthFirstAdapter.inArrayRef(ArrayRef ar) |
void |
DepthFirstAdapter.outArrayRef(ArrayRef ar) |
void |
DepthFirstAdapter.outArrayRef(ArrayRef ar) |
Modifier and Type | Method and Description |
---|---|
void |
infoGatheringAnalysis.inArrayRef(ArrayRef ar) |
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.
|
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 |
Stmt.getArrayRef() |
ArrayRef |
Stmt.getArrayRef() |
ArrayRef |
Jimple.newArrayRef(Value base,
Value index)
Constructs a ArrayRef(Local, Immediate) grammar chunk.
|
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];
|
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) |
void |
AbstractJimpleValueSwitch.caseArrayRef(ArrayRef v) |
void |
RefSwitch.caseArrayRef(ArrayRef v) |
void |
AbstractRefSwitch.caseArrayRef(ArrayRef v) |
protected abstract void |
PointerStmtSwitch.caseArrayStoreStmt(ArrayRef dest,
Local src)
A statement of the form l1[i] = l2;
|
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() |
ArrayRef |
JAssignStmt.getArrayRef() |
ArrayRef |
AbstractStmt.getArrayRef() |
Modifier and Type | Method and Description |
---|---|
void |
MethodNodeFactory.caseArrayRef(ArrayRef ar) |
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) |
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) |
void |
ValueTemplatePrinter.caseArrayRef(ArrayRef v) |
Modifier and Type | Method and Description |
---|---|
void |
UnitThrowAnalysis.ValueSwitch.caseArrayRef(ArrayRef ref) |
void |
UnitThrowAnalysis.ValueSwitch.caseArrayRef(ArrayRef ref) |