Uses of Package
soot.util

Packages that use soot.util

Package	Description
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.dexpler.typing
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.dataRep
soot.jimple.spark.geom.geomE
soot.jimple.spark.geom.geomPA
soot.jimple.spark.geom.heapinsE
soot.jimple.spark.geom.ptinsE
soot.jimple.spark.geom.utils
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.tagkit	Classes supporting classfile annotation in Soot.
soot.toDex
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.
soot.util.annotations

Classes in soot.util used by soot

Class and Description
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 pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

Classes in soot.util used by soot.baf

Class and Description
Numberable A class that numbers objects, so they can be placed in bitsets.
Switch Basic interface used in the implementation of the Visitor design pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

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

Class and Description
Numberable A class that numbers objects, so they can be placed in bitsets.
Switch Basic interface used in the implementation of the Visitor design pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

Classes in soot.util used by soot.coffi

Class and Description
Numberable A class that numbers objects, so they can be placed in bitsets.
Switchable Basic interface used for visited objects in the Visitor design pattern.

Classes in soot.util used by soot.dava

Class and Description
IterableSet

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

Class and Description
Switchable Basic interface used for visited objects in the Visitor design pattern.

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

Class and Description
IterableSet

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

Class and Description
IterableSet

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

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

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

Class and Description
IterableSet

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

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

Class and Description
IterableSet

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

Class and Description
IterableSet

Classes in soot.util used by soot.dexpler.typing

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

Classes in soot.util used by soot.grimp

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

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

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

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

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.

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

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

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

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

Class and Description
Numberable A class that numbers objects, so they can be placed in bitsets.
Switch Basic interface used in the implementation of the Visitor design pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

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

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

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

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.

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

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

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

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

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

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

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

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

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

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

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

Class and Description
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.internal

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

Class and Description
NumberedString A class that assigns integers to java.lang.Strings.

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

Class and Description
NumberedString A class that assigns integers to java.lang.Strings.

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

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

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

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

Class and Description
MultiMap A map with sets as values.

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

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

Class and Description
Numberable A class that numbers objects, so they can be placed in bitsets.
Switch Basic interface used in the implementation of the Visitor design pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

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

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

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

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

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

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

Class and Description
Numberable A class that numbers objects, so they can be placed in bitsets.
Switch Basic interface used in the implementation of the Visitor design pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

Classes in soot.util used by soot.shimple

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

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

Class and Description
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 pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

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

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

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

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

Classes in soot.util used by soot.sootify

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.

Classes in soot.util used by soot.tagkit

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.
Switchable Basic interface used for visited objects in the Visitor design pattern.

Classes in soot.util used by soot.toDex

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.

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

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.

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

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

Class and Description
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.
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.
PriorityQueue A fixed size priority queue based on bitsets.
SharedBitSet
SharedBitSetCache
Switch Basic interface used in the implementation of the Visitor design pattern.

Classes in soot.util used by soot.util.annotations

Class and Description
Switch Basic interface used in the implementation of the Visitor design pattern.