| Package | Description |
|---|---|
| soot.jimple.toolkits.annotation.nullcheck |
Classes that carry out an analysis to determine whether or not null pointer
checks are necessary.
|
| Modifier and Type | Field and Description |
|---|---|
protected FlowSet<RefIntPair> |
BranchedRefVarsAnalysis.emptySet
Deprecated.
|
protected FlowSet<RefIntPair> |
BranchedRefVarsAnalysis.fullSet
Deprecated.
|
protected FlowSet<RefIntPair> |
BranchedRefVarsAnalysis.tempFlowSet
Deprecated.
|
protected Map<Unit,FlowSet<RefIntPair>> |
BranchedRefVarsAnalysis.unitToGenerateSet
Deprecated.
|
protected Map<Unit,FlowSet<RefIntPair>> |
BranchedRefVarsAnalysis.unitToPreserveSet
Deprecated.
|
| Modifier and Type | Method and Description |
|---|---|
RefIntPair |
BranchedRefVarsAnalysis.getKRefIntPair(EquivalentValue r,
int v)
Deprecated.
|
| Modifier and Type | Method and Description |
|---|---|
protected FlowSet<RefIntPair> |
BranchedRefVarsAnalysis.entryInitialFlow()
Deprecated.
|
List<List<RefIntPair>> |
LocalRefVarsAnalysisWrapper.getListsOfVarsAfterBranch(Unit s)
Deprecated.
|
List<RefIntPair> |
LocalRefVarsAnalysisWrapper.getVarsAfterFall(Unit s)
Deprecated.
|
List<RefIntPair> |
LocalRefVarsAnalysisWrapper.getVarsBefore(Unit s)
Deprecated.
|
List<RefIntPair> |
LocalRefVarsAnalysisWrapper.getVarsDontNeedCheck(Unit s)
Deprecated.
|
protected FlowSet<RefIntPair> |
BranchedRefVarsAnalysis.newInitialFlow()
Deprecated.
|
| Modifier and Type | Method and Description |
|---|---|
int |
BranchedRefVarsAnalysis.anyRefInfo(Value r,
FlowSet<RefIntPair> f)
Deprecated.
|
protected void |
BranchedRefVarsAnalysis.copy(FlowSet<RefIntPair> source,
FlowSet<RefIntPair> dest)
Deprecated.
|
protected void |
BranchedRefVarsAnalysis.copy(FlowSet<RefIntPair> source,
FlowSet<RefIntPair> dest)
Deprecated.
|
protected void |
BranchedRefVarsAnalysis.flowThrough(FlowSet<RefIntPair> in,
Unit stmt,
List<FlowSet<RefIntPair>> outFall,
List<FlowSet<RefIntPair>> outBranch)
Deprecated.
|
protected void |
BranchedRefVarsAnalysis.flowThrough(FlowSet<RefIntPair> in,
Unit stmt,
List<FlowSet<RefIntPair>> outFall,
List<FlowSet<RefIntPair>> outBranch)
Deprecated.
|
protected void |
BranchedRefVarsAnalysis.flowThrough(FlowSet<RefIntPair> in,
Unit stmt,
List<FlowSet<RefIntPair>> outFall,
List<FlowSet<RefIntPair>> outBranch)
Deprecated.
|
protected void |
BranchedRefVarsAnalysis.merge(FlowSet<RefIntPair> in1,
FlowSet<RefIntPair> in2,
FlowSet<RefIntPair> out)
Deprecated.
|
protected void |
BranchedRefVarsAnalysis.merge(FlowSet<RefIntPair> in1,
FlowSet<RefIntPair> in2,
FlowSet<RefIntPair> out)
Deprecated.
|
protected void |
BranchedRefVarsAnalysis.merge(FlowSet<RefIntPair> in1,
FlowSet<RefIntPair> in2,
FlowSet<RefIntPair> out)
Deprecated.
|
protected int |
BranchedRefVarsAnalysis.refInfo(EquivalentValue r,
FlowSet<RefIntPair> fs)
Deprecated.
|
Copyright © 2024 Soot OSS. All rights reserved.