Uses of Package
soot.util

Packages that use soot.util

soot	Base Soot classes, shared by different intermediate representations.
soot.baf	Public classes for the Baf intermediate representation.
soot.baf.internal	Internal, messy, implementation-specific classes for the Baf intermediate representation.
soot.coffi	Contains classes from the Coffi tool, by Clark Verbrugge.
soot.dava
soot.dava.internal.AST
soot.dava.internal.SET
soot.dava.internal.asg
soot.dava.internal.javaRep
soot.dava.toolkits.base.AST
soot.dava.toolkits.base.AST.interProcedural
soot.dava.toolkits.base.finders
soot.dava.toolkits.base.renamer
soot.grimp	Public classes for the Grimp intermediate representation.
soot.grimp.internal	Internal, messy, implementation-specific classes for the Grimp intermediate representation.
soot.jbco.bafTransformations
soot.jbco.util
soot.jimple	Public classes for the Jimple intermediate representation.
soot.jimple.internal	Internal, messy, implementation-specific classes for the Jimple intermediate representation.
soot.jimple.paddle
soot.jimple.spark.builder
soot.jimple.spark.geom.geomE
soot.jimple.spark.geom.geomPA
soot.jimple.spark.geom.heapinsE
soot.jimple.spark.geom.ptinsE
soot.jimple.spark.internal
soot.jimple.spark.ondemand
soot.jimple.spark.ondemand.pautil
soot.jimple.spark.pag
soot.jimple.spark.sets
soot.jimple.spark.solver
soot.jimple.toolkits.annotation.purity
soot.jimple.toolkits.callgraph
soot.jimple.toolkits.infoflow
soot.jimple.toolkits.scalar	A toolkit for scalar optimization of Jimple.
soot.jimple.toolkits.thread.mhp
soot.jimple.toolkits.thread.synchronization
soot.jimple.toolkits.typing	Implements a typing algorithm for Jimple.
soot.jimple.toolkits.typing.fast
soot.shimple	Public classes for the SSA Shimple intermediate representation.
soot.shimple.internal	Shimple internal messy stuff.
soot.shimple.toolkits.graph
soot.shimple.toolkits.scalar	Some analyses based on Shimple.
soot.sootify
soot.toolkits.exceptions
soot.toolkits.graph	Toolkit to produce and manipulate various types of control flow graphs.
soot.util	Generally useful utility classes for Soot.

Classes in soot.util used by soot

ArrayNumberer
A class that numbers objects, so they can be placed in bitsets.

Chain
Augmented data type guaranteeing O(1) insertion and removal from a set of ordered, unique elements.

MultiMap
A map with sets as values.

Numberable
A class that numbers objects, so they can be placed in bitsets.

NumberedString
A class that assigns integers to java.lang.Strings.

Numberer
A numberer converts objects to unique non-negative integers, and vice-versa.

PhaseDumper
The PhaseDumper is a debugging aid.

SharedBitSetCache

SmallNumberedMap
A java.util.Map-like map with Numberable objects as the keys.

StringNumberer
A class that numbers strings, so they can be placed in bitsets.

Switch
Basic interface used in the implementation of the Visitor design patterm.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.baf

Numberable
A class that numbers objects, so they can be placed in bitsets.

Switch
Basic interface used in the implementation of the Visitor design patterm.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.baf.internal

Numberable
A class that numbers objects, so they can be placed in bitsets.

Switch
Basic interface used in the implementation of the Visitor design patterm.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.coffi

Numberable
A class that numbers objects, so they can be placed in bitsets.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.dava

IterableSet

Classes in soot.util used by soot.dava.internal.AST

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.dava.internal.SET

IterableSet

Classes in soot.util used by soot.dava.internal.asg

IterableSet

Classes in soot.util used by soot.dava.internal.javaRep

Switch
Basic interface used in the implementation of the Visitor design patterm.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.dava.toolkits.base.AST

IterableSet

Classes in soot.util used by soot.dava.toolkits.base.AST.interProcedural

Chain
Augmented data type guaranteeing O(1) insertion and removal from a set of ordered, unique elements.

Classes in soot.util used by soot.dava.toolkits.base.finders

IterableSet

Classes in soot.util used by soot.dava.toolkits.base.renamer

IterableSet

Classes in soot.util used by soot.grimp

Switch
Basic interface used in the implementation of the Visitor design patterm.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.grimp.internal

Switch
Basic interface used in the implementation of the Visitor design patterm.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.jbco.bafTransformations

Switch
Basic interface used in the implementation of the Visitor design patterm.

Classes in soot.util used by soot.jbco.util

Chain
Augmented data type guaranteeing O(1) insertion and removal from a set of ordered, unique elements.

Classes in soot.util used by soot.jimple

Switch
Basic interface used in the implementation of the Visitor design patterm.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.jimple.internal

Numberable
A class that numbers objects, so they can be placed in bitsets.

Switch
Basic interface used in the implementation of the Visitor design patterm.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.jimple.paddle

Numberable
A class that numbers objects, so they can be placed in bitsets.

Classes in soot.util used by soot.jimple.spark.builder

Switch
Basic interface used in the implementation of the Visitor design patterm.

Classes in soot.util used by soot.jimple.spark.geom.geomE

Numberable
A class that numbers objects, so they can be placed in bitsets.

Classes in soot.util used by soot.jimple.spark.geom.geomPA

IterableNumberer
A numberer which also supports an iterator on newly-added objects.

Numberable
A class that numbers objects, so they can be placed in bitsets.

Numberer
A numberer converts objects to unique non-negative integers, and vice-versa.

Classes in soot.util used by soot.jimple.spark.geom.heapinsE

Numberable
A class that numbers objects, so they can be placed in bitsets.

Classes in soot.util used by soot.jimple.spark.geom.ptinsE

Numberable
A class that numbers objects, so they can be placed in bitsets.

Classes in soot.util used by soot.jimple.spark.internal

BitVector
This is the Soot internal implementation of java.util.BitSet with Felix and Jerome's clever efficient iterator.

Classes in soot.util used by soot.jimple.spark.ondemand

NumberedString
A class that assigns integers to java.lang.Strings.

Classes in soot.util used by soot.jimple.spark.ondemand.pautil

NumberedString
A class that assigns integers to java.lang.Strings.

Classes in soot.util used by soot.jimple.spark.pag

ArrayNumberer
A class that numbers objects, so they can be placed in bitsets.

HashMultiMap
A map with sets as values, HashMap implementation.

MultiMap
A map with sets as values.

Numberable
A class that numbers objects, so they can be placed in bitsets.

NumberedString
A class that assigns integers to java.lang.Strings.

Classes in soot.util used by soot.jimple.spark.sets

BitVector
This is the Soot internal implementation of java.util.BitSet with Felix and Jerome's clever efficient iterator.

Classes in soot.util used by soot.jimple.spark.solver

LargeNumberedMap
A java.util.Map-like map with Numberable objects as the keys.

MultiMap
A map with sets as values.

Classes in soot.util used by soot.jimple.toolkits.annotation.purity

MultiMap
A map with sets as values.

Classes in soot.util used by soot.jimple.toolkits.callgraph

LargeNumberedMap
A java.util.Map-like map with Numberable objects as the keys.

NumberedString
A class that assigns integers to java.lang.Strings.

Classes in soot.util used by soot.jimple.toolkits.infoflow

Numberable
A class that numbers objects, so they can be placed in bitsets.

Switch
Basic interface used in the implementation of the Visitor design patterm.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.jimple.toolkits.scalar

Chain
Augmented data type guaranteeing O(1) insertion and removal from a set of ordered, unique elements.

Classes in soot.util used by soot.jimple.toolkits.thread.mhp

Chain
Augmented data type guaranteeing O(1) insertion and removal from a set of ordered, unique elements.

HashChain
Reference implementation of the Chain interface, using a HashMap as the underlying structure.

Classes in soot.util used by soot.jimple.toolkits.thread.synchronization

Switch
Basic interface used in the implementation of the Visitor design patterm.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.jimple.toolkits.typing

BitVector
This is the Soot internal implementation of java.util.BitSet with Felix and Jerome's clever efficient iterator.

Classes in soot.util used by soot.jimple.toolkits.typing.fast

Numberable
A class that numbers objects, so they can be placed in bitsets.

Switch
Basic interface used in the implementation of the Visitor design patterm.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.shimple

Switch
Basic interface used in the implementation of the Visitor design patterm.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.shimple.internal

Chain
Augmented data type guaranteeing O(1) insertion and removal from a set of ordered, unique elements.

HashMultiMap
A map with sets as values, HashMap implementation.

MultiMap
A map with sets as values.

Switch
Basic interface used in the implementation of the Visitor design patterm.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.shimple.toolkits.graph

Switch
Basic interface used in the implementation of the Visitor design patterm.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.shimple.toolkits.scalar

SingletonList
A list containing exactly one object, immutable.

Switch
Basic interface used in the implementation of the Visitor design patterm.

Switchable
Basic interface used for visited objects in the Visitor design patterm.

Classes in soot.util used by soot.sootify

Switch
Basic interface used in the implementation of the Visitor design patterm.

Classes in soot.util used by soot.toolkits.exceptions

Switch
Basic interface used in the implementation of the Visitor design patterm.

Classes in soot.util used by soot.toolkits.graph

Chain
Augmented data type guaranteeing O(1) insertion and removal from a set of ordered, unique elements.

Classes in soot.util used by soot.util

ArrayNumberer
A class that numbers objects, so they can be placed in bitsets.

BitSetIterator
A fast enumerator for sparse bit sets.

BitVector
This is the Soot internal implementation of java.util.BitSet with Felix and Jerome's clever efficient iterator.

Chain
Augmented data type guaranteeing O(1) insertion and removal from a set of ordered, unique elements.

HashChain
Reference implementation of the Chain interface, using a HashMap as the underlying structure.

Heap.Keys

IterableNumberer
A numberer which also supports an iterator on newly-added objects.

IterableSet

MultiMap
A map with sets as values.

Numberable
A class that numbers objects, so they can be placed in bitsets.

NumberedString
A class that assigns integers to java.lang.Strings.

Numberer
A numberer converts objects to unique non-negative integers, and vice-versa.

PhaseDumper
The PhaseDumper is a debugging aid.

SharedBitSet

SharedBitSetCache

Switch
Basic interface used in the implementation of the Visitor design patterm.