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 | Method and Description |
---|---|
protected NullnessAnalysis.AnalysisInfo |
NullnessAnalysis.newInitialFlow()
Returns the flow object corresponding to the initial values for
each graph node.
|
protected NullnessAnalysis.AnalysisInfo |
NullnessAnalysis.newInitialFlow()
Returns the flow object corresponding to the initial values for
each graph node.
|
Modifier and Type | Method and Description |
---|---|
protected void |
NullnessAnalysis.copy(NullnessAnalysis.AnalysisInfo s,
NullnessAnalysis.AnalysisInfo d)
Creates a copy of the
source flow object in dest . |
protected void |
NullnessAnalysis.copy(NullnessAnalysis.AnalysisInfo s,
NullnessAnalysis.AnalysisInfo d)
Creates a copy of the
source flow object in dest . |
protected void |
NullnessAnalysis.flowThrough(NullnessAnalysis.AnalysisInfo in,
Unit u,
List<NullnessAnalysis.AnalysisInfo> fallOut,
List<NullnessAnalysis.AnalysisInfo> branchOuts)
Given the merge of the
in sets,
compute the fallOut and branchOuts
set for s . |
protected void |
NullnessAnalysis.flowThrough(NullnessAnalysis.AnalysisInfo in,
Unit u,
List<NullnessAnalysis.AnalysisInfo> fallOut,
List<NullnessAnalysis.AnalysisInfo> branchOuts)
Given the merge of the
in sets,
compute the fallOut and branchOuts
set for s . |
protected void |
NullnessAnalysis.merge(NullnessAnalysis.AnalysisInfo in1,
NullnessAnalysis.AnalysisInfo in2,
NullnessAnalysis.AnalysisInfo out)
Compute the merge of the
in1 and in2 sets, putting the result into out . |
protected void |
NullnessAnalysis.merge(NullnessAnalysis.AnalysisInfo in1,
NullnessAnalysis.AnalysisInfo in2,
NullnessAnalysis.AnalysisInfo out)
Compute the merge of the
in1 and in2 sets, putting the result into out . |
Modifier and Type | Method and Description |
---|---|
protected void |
NullnessAnalysis.flowThrough(NullnessAnalysis.AnalysisInfo in,
Unit u,
List<NullnessAnalysis.AnalysisInfo> fallOut,
List<NullnessAnalysis.AnalysisInfo> branchOuts)
Given the merge of the
in sets,
compute the fallOut and branchOuts
set for s . |
protected void |
NullnessAnalysis.flowThrough(NullnessAnalysis.AnalysisInfo in,
Unit u,
List<NullnessAnalysis.AnalysisInfo> fallOut,
List<NullnessAnalysis.AnalysisInfo> branchOuts)
Given the merge of the
in sets,
compute the fallOut and branchOuts
set for s . |
protected void |
NullnessAnalysis.flowThrough(NullnessAnalysis.AnalysisInfo in,
Unit u,
List<NullnessAnalysis.AnalysisInfo> fallOut,
List<NullnessAnalysis.AnalysisInfo> branchOuts)
Given the merge of the
in sets,
compute the fallOut and branchOuts
set for s . |
protected void |
NullnessAnalysis.flowThrough(NullnessAnalysis.AnalysisInfo in,
Unit u,
List<NullnessAnalysis.AnalysisInfo> fallOut,
List<NullnessAnalysis.AnalysisInfo> branchOuts)
Given the merge of the
in sets,
compute the fallOut and branchOuts
set for s . |
Constructor and Description |
---|
AnalysisInfo(NullnessAnalysis.AnalysisInfo other) |
AnalysisInfo(NullnessAnalysis.AnalysisInfo other) |