|
||||||||||
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.infoflow | |
soot.jimple.toolkits.scalar | A toolkit for scalar optimization of Jimple. |
soot.jimple.toolkits.scalar.pre | Particial redundency elimination. |
soot.jimple.toolkits.thread.mhp | |
soot.jimple.toolkits.thread.mhp.findobject | |
soot.jimple.toolkits.thread.synchronization | |
soot.toolkits.graph | Toolkit to produce and manipulate various types of control flow graphs. |
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 |
CPFlowSet
|
class |
DavaFlowSet
|
class |
UnreachableCodeFinder.UnreachableCodeFlowSet
|
Methods in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type FlowSet | |
---|---|
void |
DavaFlowSet.copy(FlowSet destFlow)
|
void |
DavaFlowSet.copy(FlowSet destFlow)
|
void |
DavaFlowSet.difference(FlowSet otherFlow,
FlowSet destFlow)
|
void |
DavaFlowSet.difference(FlowSet otherFlow,
FlowSet destFlow)
|
void |
CPFlowSet.intersection(FlowSet otherFlow,
FlowSet destFlow)
|
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 |
UnreachableCodeFinder.UnreachableCodeFlowSet.intersection(FlowSet otherFlow,
FlowSet destFlow)
|
void |
UnreachableCodeFinder.UnreachableCodeFlowSet.intersection(FlowSet otherFlow,
FlowSet destFlow)
|
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 |
CPFlowSet.intersection(FlowSet otherFlow,
FlowSet destFlow)
|
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.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 |
Uses of FlowSet in soot.jimple.toolkits.annotation.nullcheck |
---|
Fields in soot.jimple.toolkits.annotation.nullcheck declared as FlowSet | |
---|---|
protected FlowSet |
BranchedRefVarsAnalysis.emptySet
Deprecated. |
protected FlowSet |
BranchedRefVarsAnalysis.emptySet
Deprecated. |
protected FlowSet |
BranchedRefVarsAnalysis.fullSet
Deprecated. |
protected FlowSet |
BranchedRefVarsAnalysis.fullSet
Deprecated. |
protected FlowSet |
BranchedRefVarsAnalysis.tempFlowSet
Deprecated. |
protected FlowSet |
BranchedRefVarsAnalysis.tempFlowSet
Deprecated. |
Fields in soot.jimple.toolkits.annotation.nullcheck with type parameters of type FlowSet | |
---|---|
protected Map<Unit,FlowSet> |
BranchedRefVarsAnalysis.unitToGenerateSet
Deprecated. |
protected Map<Unit,FlowSet> |
BranchedRefVarsAnalysis.unitToGenerateSet
Deprecated. |
protected Map<Unit,FlowSet> |
BranchedRefVarsAnalysis.unitToPreserveSet
Deprecated. |
protected Map<Unit,FlowSet> |
BranchedRefVarsAnalysis.unitToPreserveSet
Deprecated. |
Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type FlowSet | |
---|---|
int |
BranchedRefVarsAnalysis.anyRefInfo(Value r,
FlowSet f)
Deprecated. |
int |
BranchedRefVarsAnalysis.anyRefInfo(Value r,
FlowSet f)
Deprecated. |
protected int |
BranchedRefVarsAnalysis.refInfo(EquivalentValue r,
FlowSet fs)
Deprecated. |
protected int |
BranchedRefVarsAnalysis.refInfo(EquivalentValue r,
FlowSet fs)
Deprecated. |
protected int |
BranchedRefVarsAnalysis.refInfo(Value r,
FlowSet fs)
Deprecated. |
protected int |
BranchedRefVarsAnalysis.refInfo(Value r,
FlowSet fs)
Deprecated. |
Uses of FlowSet in soot.jimple.toolkits.infoflow |
---|
Methods in soot.jimple.toolkits.infoflow with parameters of type FlowSet | |
---|---|
protected void |
SimpleMethodInfoFlowAnalysis.handleFlowsToDataStructure(Value base,
Value initialSource,
FlowSet fs)
|
protected void |
SimpleMethodInfoFlowAnalysis.handleFlowsToDataStructure(Value base,
Value initialSource,
FlowSet fs)
|
protected void |
SimpleMethodInfoFlowAnalysis.handleFlowsToValue(Value sink,
Value initialSource,
FlowSet fs)
|
protected void |
SimpleMethodInfoFlowAnalysis.handleFlowsToValue(Value sink,
Value initialSource,
FlowSet fs)
|
protected List |
SimpleMethodInfoFlowAnalysis.handleInvokeExpr(InvokeExpr ie,
Stmt is,
FlowSet fs)
|
protected List |
SimpleMethodInfoFlowAnalysis.handleInvokeExpr(InvokeExpr ie,
Stmt is,
FlowSet fs)
|
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.copy(FlowSet d)
|
void |
ToppedSet.difference(FlowSet o,
FlowSet d)
|
void |
ToppedSet.difference(FlowSet o,
FlowSet d)
|
void |
ToppedSet.intersection(FlowSet o,
FlowSet d)
|
void |
ToppedSet.intersection(FlowSet o,
FlowSet d)
|
void |
ToppedSet.union(FlowSet o,
FlowSet d)
|
void |
ToppedSet.union(FlowSet o,
FlowSet d)
|
Constructors in soot.jimple.toolkits.scalar with parameters of type FlowSet | |
---|---|
ToppedSet(FlowSet under)
|
|
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). |
|
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.jimple.toolkits.thread.mhp |
---|
Classes in soot.jimple.toolkits.thread.mhp that implement FlowSet | |
---|---|
class |
MonitorSet
|
Methods in soot.jimple.toolkits.thread.mhp that return FlowSet | |
---|---|
protected FlowSet |
PegGraph.getAllNodes()
|
protected FlowSet |
PegGraph.getAllNodes()
|
FlowSet |
DominatorsFinder.getDominatorsOf(Object s)
|
FlowSet |
DominatorsFinder.getDominatorsOf(Object s)
|
Methods in soot.jimple.toolkits.thread.mhp that return types with arguments of type FlowSet | |
---|---|
Map<String,FlowSet> |
MonitorAnalysis.getMonitor()
|
Map<String,FlowSet> |
PegGraph.getMonitor()
|
Map<String,FlowSet> |
PegGraph.getMonitor()
|
Map<String,FlowSet> |
MonitorAnalysis.getMonitor()
|
protected Map<String,FlowSet> |
PegChain.getWaitingNodes()
|
protected Map<String,FlowSet> |
PegGraph.getWaitingNodes()
|
protected Map<String,FlowSet> |
PegGraph.getWaitingNodes()
|
protected Map<String,FlowSet> |
PegChain.getWaitingNodes()
|
Method parameters in soot.jimple.toolkits.thread.mhp with type arguments of type FlowSet | |
---|---|
protected void |
PegGraph.setMonitor(Map<String,FlowSet> m)
|
protected void |
PegGraph.setMonitor(Map<String,FlowSet> m)
|
Uses of FlowSet in soot.jimple.toolkits.thread.mhp.findobject |
---|
Methods in soot.jimple.toolkits.thread.mhp.findobject that return FlowSet | |
---|---|
FlowSet |
MultiRunStatementsFinder.getMultiRunStatements()
|
FlowSet |
MultiRunStatementsFinder.getMultiRunStatements()
|
Uses of FlowSet in soot.jimple.toolkits.thread.synchronization |
---|
Methods in soot.jimple.toolkits.thread.synchronization that return FlowSet | |
---|---|
protected FlowSet |
SynchronizedRegionFinder.entryInitialFlow()
IN(Start) is the empty set |
protected FlowSet |
SynchronizedRegionFinder.entryInitialFlow()
IN(Start) is the empty set |
protected FlowSet |
SynchronizedRegionFinder.newInitialFlow()
All INs are initialized to the empty set. |
protected FlowSet |
SynchronizedRegionFinder.newInitialFlow()
All INs are initialized to the empty set. |
Methods in soot.jimple.toolkits.thread.synchronization with parameters of type FlowSet | |
---|---|
protected void |
SynchronizedRegionFinder.copy(FlowSet sourceSet,
FlowSet destSet)
|
protected void |
SynchronizedRegionFinder.copy(FlowSet sourceSet,
FlowSet destSet)
|
protected void |
SynchronizedRegionFinder.flowThrough(FlowSet in,
Unit unit,
FlowSet out)
OUT is the same as (IN minus killSet) plus the genSet. |
protected void |
SynchronizedRegionFinder.flowThrough(FlowSet in,
Unit unit,
FlowSet out)
OUT is the same as (IN minus killSet) plus the genSet. |
protected void |
LockAllocationBodyTransformer.internalTransform(Body b,
FlowSet fs,
List<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup> groups,
boolean[] insertedGlobalLock)
|
protected void |
LockAllocationBodyTransformer.internalTransform(Body b,
FlowSet fs,
List<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup> groups,
boolean[] insertedGlobalLock)
|
protected void |
SynchronizedRegionFinder.merge(FlowSet inSet1,
FlowSet inSet2,
FlowSet outSet)
union |
protected void |
SynchronizedRegionFinder.merge(FlowSet inSet1,
FlowSet inSet2,
FlowSet outSet)
union |
Uses of FlowSet in soot.toolkits.graph |
---|
Fields in soot.toolkits.graph with type parameters of type FlowSet | |
---|---|
protected Map<Object,FlowSet> |
SimpleDominatorsFinder.nodeToDominators
|
protected Map<Object,FlowSet> |
SimpleDominatorsFinder.nodeToDominators
|
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 that return FlowSet | |
---|---|
FlowSet |
FlowSet.clone()
Clones the current FlowSet. |
FlowSet |
FlowSet.clone()
Clones the current FlowSet. |
Methods in soot.toolkits.scalar with parameters of type FlowSet | |
---|---|
void |
AbstractFlowSet.add(Object obj,
FlowSet dest)
|
void |
FlowSet.add(Object obj,
FlowSet dest)
puts this union obj into dest . |
void |
FlowSet.add(Object obj,
FlowSet dest)
puts this union obj into dest . |
void |
AbstractFlowSet.add(Object obj,
FlowSet dest)
|
void |
AbstractBoundedFlowSet.complement(FlowSet dest)
|
void |
ArrayPackedSet.complement(FlowSet destFlow)
|
void |
BoundedFlowSet.complement(FlowSet dest)
Complements this BoundedFlowSet, putting the result into dest . |
void |
BoundedFlowSet.complement(FlowSet dest)
Complements this BoundedFlowSet, putting the result into dest . |
void |
ArrayPackedSet.complement(FlowSet destFlow)
|
void |
AbstractBoundedFlowSet.complement(FlowSet dest)
|
void |
AbstractFlowSet.copy(FlowSet dest)
|
void |
ArrayPackedSet.copy(FlowSet destFlow)
|
void |
ArraySparseSet.copy(FlowSet destFlow)
|
void |
FlowSet.copy(FlowSet dest)
Copies the current FlowSet into dest. |
void |
FlowSet.copy(FlowSet dest)
Copies the current FlowSet into dest. |
void |
ArraySparseSet.copy(FlowSet destFlow)
|
void |
ArrayPackedSet.copy(FlowSet destFlow)
|
void |
AbstractFlowSet.copy(FlowSet dest)
|
void |
AbstractFlowSet.difference(FlowSet other)
|
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)
Returns the set difference (this intersect ~other) of this FlowSet and other , putting result into this . |
void |
AbstractFlowSet.difference(FlowSet other)
|
void |
AbstractFlowSet.difference(FlowSet other,
FlowSet dest)
|
void |
ArrayPackedSet.difference(FlowSet otherFlow,
FlowSet destFlow)
|
void |
ArraySparseSet.difference(FlowSet otherFlow,
FlowSet destFlow)
|
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.difference(FlowSet other,
FlowSet dest)
Returns the set difference (this intersect ~other) of this FlowSet and other , putting result into dest . |
void |
ArraySparseSet.difference(FlowSet otherFlow,
FlowSet destFlow)
|
void |
ArrayPackedSet.difference(FlowSet otherFlow,
FlowSet destFlow)
|
void |
AbstractFlowSet.difference(FlowSet other,
FlowSet dest)
|
void |
AbstractFlowSet.intersection(FlowSet other)
|
void |
FlowSet.intersection(FlowSet other)
Returns the intersection (meet) of this FlowSet and other ,
putting result into this . |
void |
FlowSet.intersection(FlowSet other)
Returns the intersection (meet) of this FlowSet and other ,
putting result into this . |
void |
AbstractFlowSet.intersection(FlowSet other)
|
void |
AbstractFlowSet.intersection(FlowSet other,
FlowSet dest)
|
void |
ArrayPackedSet.intersection(FlowSet otherFlow,
FlowSet destFlow)
|
void |
ArraySparseSet.intersection(FlowSet otherFlow,
FlowSet destFlow)
|
void |
FlowSet.intersection(FlowSet other,
FlowSet dest)
Returns the intersection (meet) of this FlowSet and other ,
putting result into dest . |
void |
FlowSet.intersection(FlowSet other,
FlowSet dest)
Returns the intersection (meet) of this FlowSet and other ,
putting result into dest . |
void |
ArraySparseSet.intersection(FlowSet otherFlow,
FlowSet destFlow)
|
void |
ArrayPackedSet.intersection(FlowSet otherFlow,
FlowSet destFlow)
|
void |
AbstractFlowSet.intersection(FlowSet other,
FlowSet dest)
|
void |
AbstractFlowSet.remove(Object obj,
FlowSet dest)
|
void |
FlowSet.remove(Object obj,
FlowSet dest)
Puts this minus obj into dest . |
void |
FlowSet.remove(Object obj,
FlowSet dest)
Puts this minus obj into dest . |
void |
AbstractFlowSet.remove(Object obj,
FlowSet dest)
|
void |
AbstractFlowSet.union(FlowSet other)
|
void |
FlowSet.union(FlowSet other)
Returns the union (join) of this FlowSet and other , putting
result into this . |
void |
FlowSet.union(FlowSet other)
Returns the union (join) of this FlowSet and other , putting
result into this . |
void |
AbstractFlowSet.union(FlowSet other)
|
void |
AbstractFlowSet.union(FlowSet other,
FlowSet dest)
|
void |
ArrayPackedSet.union(FlowSet otherFlow,
FlowSet destFlow)
|
void |
ArraySparseSet.union(FlowSet otherFlow,
FlowSet destFlow)
|
void |
FlowSet.union(FlowSet other,
FlowSet dest)
Returns the union (join) of this FlowSet and other , putting
result into dest . |
void |
FlowSet.union(FlowSet other,
FlowSet dest)
Returns the union (join) of this FlowSet and other , putting
result into dest . |
void |
ArraySparseSet.union(FlowSet otherFlow,
FlowSet destFlow)
|
void |
ArrayPackedSet.union(FlowSet otherFlow,
FlowSet destFlow)
|
void |
AbstractFlowSet.union(FlowSet other,
FlowSet dest)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |