Uses of Interface
soot.toolkits.scalar.FlowSet

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)