Uses of Interface
soot.toolkits.scalar.FlowSet

Packages that use FlowSet

Package	Description
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.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.jimple.toolkits.annotation.nullcheck

Fields in soot.jimple.toolkits.annotation.nullcheck declared as FlowSet

Modifier and Type	Field and Description
protected FlowSet	BranchedRefVarsAnalysis.emptySet Deprecated.
protected FlowSet	BranchedRefVarsAnalysis.fullSet Deprecated.
protected FlowSet	BranchedRefVarsAnalysis.tempFlowSet Deprecated.

Fields in soot.jimple.toolkits.annotation.nullcheck with type parameters of type FlowSet

Modifier and Type	Field and Description
protected java.util.Map<Unit,FlowSet>	BranchedRefVarsAnalysis.unitToGenerateSet Deprecated.
protected java.util.Map<Unit,FlowSet>	BranchedRefVarsAnalysis.unitToPreserveSet Deprecated.

Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type FlowSet

Modifier and Type	Method and Description
int	BranchedRefVarsAnalysis.anyRefInfo(Value r, FlowSet f) Deprecated.
protected int	BranchedRefVarsAnalysis.refInfo(EquivalentValue 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

Modifier and Type	Method and Description
protected void	SimpleMethodInfoFlowAnalysis.handleFlowsToDataStructure(Value base, Value initialSource, FlowSet fs)
protected void	SimpleMethodInfoFlowAnalysis.handleFlowsToValue(Value sink, Value initialSource, FlowSet fs)
protected java.util.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

Modifier and Type	Class and Description
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

Modifier and Type	Method and Description
void	ToppedSet.copy(FlowSet d)
void	ToppedSet.difference(FlowSet o, FlowSet d)
void	ToppedSet.intersection(FlowSet o, FlowSet d)
void	ToppedSet.union(FlowSet o, FlowSet d)

Constructors in soot.jimple.toolkits.scalar with parameters of type FlowSet

Constructor and Description
ToppedSet(FlowSet under)

Uses of FlowSet in soot.jimple.toolkits.scalar.pre

Constructors in soot.jimple.toolkits.scalar.pre with parameters of type FlowSet

Constructor and Description
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.graph

Fields in soot.toolkits.graph with type parameters of type FlowSet

Modifier and Type	Field and Description
protected java.util.Map<java.lang.Object,FlowSet>	SimpleDominatorsFinder.nodeToDominators

Uses of FlowSet in soot.toolkits.scalar

Subinterfaces of FlowSet in soot.toolkits.scalar

Modifier and Type	Interface and Description
interface	BoundedFlowSet Represents bounded information for flow analysis.

Classes in soot.toolkits.scalar that implement FlowSet

Modifier and Type	Class and Description
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

Modifier and Type	Method and Description
FlowSet	FlowSet.clone() Clones the current FlowSet.

Methods in soot.toolkits.scalar with parameters of type FlowSet

Modifier and Type	Method and Description
void	FlowSet.add(java.lang.Object obj, FlowSet dest) puts this union obj into dest.
void	AbstractFlowSet.add(java.lang.Object obj, FlowSet 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	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	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	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	FlowSet.intersection(FlowSet other) Returns the intersection (meet) of this FlowSet and other, putting result into this.
void	AbstractFlowSet.intersection(FlowSet other)
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	FlowSet.remove(java.lang.Object obj, FlowSet dest) Puts this minus obj into dest.
void	AbstractFlowSet.remove(java.lang.Object obj, FlowSet dest)
void	FlowSet.union(FlowSet other) Returns the union (join) of this FlowSet and other, putting result into this.
void	AbstractFlowSet.union(FlowSet other)
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)