|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FlowSet | |
soot.jimple.toolkits.annotation.nullcheck | Classes that carry out an analysis to determine whether or not null pointer checks are necessary. |
soot.jimple.toolkits.scalar | A toolkit for scalar optimization of Jimple. |
soot.jimple.toolkits.scalar.pre | Particial redundency elimination. |
soot.toolkits.scalar | A number of scalar optimizations, and the flow analysis framework. |
Uses of FlowSet in soot.jimple.toolkits.annotation.nullcheck |
Fields in soot.jimple.toolkits.annotation.nullcheck declared as FlowSet | |
protected FlowSet |
BranchedRefVarsAnalysis.emptySet
|
protected FlowSet |
BranchedRefVarsAnalysis.fullSet
|
protected FlowSet |
BranchedRefVarsAnalysis.tempFlowSet
|
Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type FlowSet | |
protected int |
BranchedRefVarsAnalysis.refInfo(EquivalentValue r,
FlowSet fs)
|
protected int |
BranchedRefVarsAnalysis.refInfo(Value r,
FlowSet fs)
|
int |
BranchedRefVarsAnalysis.anyRefInfo(Value r,
FlowSet f)
|
Uses of FlowSet in soot.jimple.toolkits.scalar |
Classes in soot.jimple.toolkits.scalar that implement FlowSet | |
class |
ToppedSet
Represents information for flow analysis, adding a top element to a lattice. |
Methods in soot.jimple.toolkits.scalar with parameters of type FlowSet | |
void |
ToppedSet.copy(FlowSet d)
|
void |
ToppedSet.union(FlowSet o,
FlowSet d)
|
void |
ToppedSet.intersection(FlowSet o,
FlowSet d)
|
void |
ToppedSet.difference(FlowSet o,
FlowSet d)
|
Constructors in soot.jimple.toolkits.scalar with parameters of type FlowSet | |
ToppedSet(FlowSet under)
|
Uses of FlowSet in soot.jimple.toolkits.scalar.pre |
Constructors in soot.jimple.toolkits.scalar.pre with parameters of type FlowSet | |
EarliestnessComputation(UnitGraph unitGraph,
UpSafetyAnalysis upSafe,
DownSafetyAnalysis downSafe,
SideEffectTester sideEffect,
FlowSet set)
given an UpSafetyAnalysis and a DownSafetyAnalysis, performs the earliest-computation. allows to share sets over multiple analyses (set-operations are usually more efficient, if the sets come from the same source). |
Uses of FlowSet in soot.toolkits.scalar |
Subinterfaces of FlowSet in soot.toolkits.scalar | |
interface |
BoundedFlowSet
Represents bounded information for flow analysis. |
Classes in soot.toolkits.scalar that implement FlowSet | |
class |
AbstractBoundedFlowSet
provides functional code for most of the methods. |
class |
AbstractFlowSet
provides functional code for most of the methods. |
class |
ArrayPackedSet
Reference implementation for a BoundedFlowSet. |
class |
ArraySparseSet
Reference implementation for a FlowSet. |
Methods in soot.toolkits.scalar with parameters of type FlowSet | |
void |
AbstractBoundedFlowSet.complement(FlowSet dest)
|
void |
AbstractFlowSet.copy(FlowSet dest)
|
void |
AbstractFlowSet.union(FlowSet other)
|
void |
AbstractFlowSet.union(FlowSet other,
FlowSet dest)
|
void |
AbstractFlowSet.intersection(FlowSet other)
|
void |
AbstractFlowSet.intersection(FlowSet other,
FlowSet dest)
|
void |
AbstractFlowSet.difference(FlowSet other)
|
void |
AbstractFlowSet.difference(FlowSet other,
FlowSet dest)
|
void |
AbstractFlowSet.add(Object obj,
FlowSet dest)
|
void |
AbstractFlowSet.remove(Object obj,
FlowSet dest)
|
void |
ArrayPackedSet.complement(FlowSet destFlow)
|
void |
ArrayPackedSet.union(FlowSet otherFlow,
FlowSet destFlow)
|
void |
ArrayPackedSet.difference(FlowSet otherFlow,
FlowSet destFlow)
|
void |
ArrayPackedSet.intersection(FlowSet otherFlow,
FlowSet destFlow)
|
void |
ArrayPackedSet.copy(FlowSet destFlow)
|
void |
ArraySparseSet.union(FlowSet otherFlow,
FlowSet destFlow)
|
void |
ArraySparseSet.intersection(FlowSet otherFlow,
FlowSet destFlow)
|
void |
ArraySparseSet.difference(FlowSet otherFlow,
FlowSet destFlow)
|
void |
ArraySparseSet.copy(FlowSet destFlow)
|
void |
BoundedFlowSet.complement(FlowSet dest)
Complements this BoundedFlowSet, putting the result into dest . |
void |
FlowSet.copy(FlowSet dest)
Copies the current FlowSet into dest. |
void |
FlowSet.union(FlowSet other)
Returns the union (join) of this FlowSet and other , putting
result into this . |
void |
FlowSet.union(FlowSet other,
FlowSet dest)
Returns the union (join) of this FlowSet and other , putting
result into dest . |
void |
FlowSet.intersection(FlowSet other)
Returns the intersection (meet) of this FlowSet and other ,
putting result into this . |
void |
FlowSet.intersection(FlowSet other,
FlowSet dest)
Returns the intersection (meet) of this FlowSet and other ,
putting result into dest . |
void |
FlowSet.difference(FlowSet other)
Returns the set difference (this join ~other) of this FlowSet and other , putting result into this . |
void |
FlowSet.difference(FlowSet other,
FlowSet dest)
Returns the set difference (this join ~other) of this FlowSet and other , putting result into dest . |
void |
FlowSet.add(Object obj,
FlowSet dest)
puts this union obj into dest . |
void |
FlowSet.remove(Object obj,
FlowSet dest)
Puts this minus obj into dest . |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |