|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FlowSet | |
soot.dava.toolkits.base.AST.structuredAnalysis | |
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.dava.toolkits.base.AST.structuredAnalysis |
Classes in soot.dava.toolkits.base.AST.structuredAnalysis that implement FlowSet | |
class |
DavaFlowSet
|
Methods in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type FlowSet | |
void |
DavaFlowSet.union(FlowSet otherFlow,
FlowSet destFlow)
Notice that the union method only merges the elements of the flow set DavaFlowSet also contains information regarding abrupt control flow This should also be merged using the copyInternalDataFrom method |
void |
DavaFlowSet.intersection(FlowSet otherFlow,
FlowSet destFlow)
Notice that the intersection method only merges the elements of the flow set DavaFlowSet also contains information regarding abrupt control flow This should also be merged using the copyInternalDataFrom method |
void |
DavaFlowSet.difference(FlowSet otherFlow,
FlowSet destFlow)
|
void |
DavaFlowSet.copy(FlowSet destFlow)
|
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 intersect ~other) of this FlowSet and other , putting result into this . |
void |
FlowSet.difference(FlowSet other,
FlowSet dest)
Returns the set difference (this intersect ~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 |