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.jimple.internal |
Internal, messy, implementation-specific classes for the Jimple intermediate representation.
|
soot.jimple.paddle | |
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.pag | |
soot.jimple.toolkits.infoflow | |
soot.jimple.toolkits.typing.fast | |
soot.util |
Generally useful utility classes for Soot.
|
Modifier and Type | Interface and Description |
---|---|
interface |
Local
A local variable, used within Body
classes.
|
Modifier and Type | Class and Description |
---|---|
class |
AnySubType |
class |
ArrayType
A class that models Java's array types.
|
class |
BooleanType
Soot representation of the Java built-in type 'boolean'.
|
class |
ByteType
Soot representation of the Java built-in type 'byte'.
|
class |
CharType
Soot representation of the Java built-in type 'char'.
|
class |
DoubleType
Soot representation of the Java built-in type 'double'.
|
class |
ErroneousType
Soot representation used for untypable objects.
|
class |
FloatType
Soot representation of the Java built-in type 'float'.
|
class |
IntType
Soot representation of the Java built-in type 'int'.
|
class |
Kind
Enumeration type representing the kind of a call graph edge.
|
class |
LongType
Soot representation of the Java built-in type 'long'.
|
class |
NullType
Soot representation of the Java type 'null'.
|
class |
PrimType
Abstract class for Soot classes that that model Java primitive types
(ie all types except void, null, reference types, and array types)
|
class |
RefLikeType
Abstract class for Soot classes that model subtypes of java.lang.Object
(ie.
|
class |
RefType
A class that models Java's reference types.
|
class |
ShortType
Soot representation of the Java built-in type 'short'.
|
class |
SootClass
Soot representation of a Java class.
|
class |
SootField
Soot representation of a Java field.
|
class |
SootMethod
Soot representation of a Java method.
|
class |
StmtAddressType
Soot representation of the Java type for a statement address.
|
class |
Type
Represents types within Soot, eg
int , java.lang.String . |
class |
UnknownType
Soot representation used for not-yet-typed objects.
|
class |
VoidType
Represents the Java void type.
|
Modifier and Type | Class and Description |
---|---|
class |
DoubleWordType |
class |
WordType |
Modifier and Type | Class and Description |
---|---|
class |
BafLocal |
Modifier and Type | Class and Description |
---|---|
class |
Double2ndHalfType |
class |
Long2ndHalfType |
class |
UnusuableType |
Modifier and Type | Class and Description |
---|---|
class |
JimpleLocal |
Modifier and Type | Interface and Description |
---|---|
interface |
PaddleField
Represents a field.
|
Modifier and Type | Class and Description |
---|---|
class |
CallsiteContextVar
A general interface for generating the traditional context sensitive variable representation.
|
class |
ContextVar
The root class for representing context sensitive pointer/object in explicit form.
|
class |
IntervalContextVar
A particular class to encode contexts in interval manner.
|
class |
PlainConstraint
The geometric encoding based constraint descriptor.
|
Modifier and Type | Class and Description |
---|---|
class |
FullSensitiveNode
This class defines an abstract pointer in the geometric points-to solver.
|
Modifier and Type | Class and Description |
---|---|
class |
DummyNode
It is used to represent the non-pointer variables (e.g.
|
class |
IVarAbstraction
Pointer/object representation in geomPTA.
|
Modifier and Type | Class and Description |
---|---|
class |
HeapInsNode
This class defines a pointer variable for use in the HeapIns encoding based points-to solver.
|
Modifier and Type | Class and Description |
---|---|
class |
PtInsNode
Deprecated.
|
Modifier and Type | Class and Description |
---|---|
class |
ZArrayNumberer<E extends Numberable>
Similar to the ArrayNumberer class in soot.
|
class |
ZArrayNumberer<E extends Numberable>
Similar to the ArrayNumberer class in soot.
|
Modifier and Type | Interface and Description |
---|---|
interface |
SparkField
Represents a field.
|
Modifier and Type | Class and Description |
---|---|
class |
AllocDotField
Represents an alloc-site-dot-field node (Yellow) in the pointer
assignment graph.
|
class |
AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph.
|
class |
ArrayElement
Represents an array element.
|
class |
ClassConstantNode
Represents an allocation site node the represents a known java.lang.Class
object.
|
class |
ContextVarNode
Represents a simple variable node with context.
|
class |
FieldRefNode
Represents a field reference node (Red) in the pointer assignment graph.
|
class |
GlobalVarNode
Represents a simple variable node (Green) in the pointer assignment graph
that is not associated with any particular method invocation.
|
class |
LocalVarNode
Represents a simple variable node (Green) in the pointer assignment graph
that is specific to a particular method invocation.
|
class |
NewInstanceNode
Node that represents a call to newInstance()
|
class |
Node
Represents every node in the pointer assignment graph.
|
class |
Parm
Represents a method parameter.
|
class |
StringConstantNode
Represents an allocation site node the represents a constant string.
|
class |
ValNode
Represents a simple of field ref node (Green or Red) in the pointer
assignment graph.
|
class |
VarNode
Represents a simple variable node (Green) in the pointer assignment graph.
|
Modifier and Type | Class and Description |
---|---|
class |
FakeJimpleLocal |
Modifier and Type | Class and Description |
---|---|
class |
BottomType |
class |
Integer127Type |
class |
Integer1Type |
class |
Integer32767Type |
Modifier and Type | Class and Description |
---|---|
class |
ArrayNumberer<E extends Numberable>
A class that numbers objects, so they can be placed in bitsets.
|
class |
ArrayNumberer<E extends Numberable>
A class that numbers objects, so they can be placed in bitsets.
|
class |
LargeNumberedMap<K extends Numberable,V>
A java.util.Map-like map with Numberable objects as the keys.
|
class |
LargeNumberedMap<K extends Numberable,V>
A java.util.Map-like map with Numberable objects as the keys.
|
class |
NumberedSet<N extends Numberable>
Holds a set of Numberable objects.
|
class |
NumberedSet<N extends Numberable>
Holds a set of Numberable objects.
|
Modifier and Type | Class and Description |
---|---|
class |
NumberedString
A class that assigns integers to java.lang.Strings.
|
Modifier and Type | Field and Description |
---|---|
protected E[] |
ArrayNumberer.numberToObj |
protected E[] |
ArrayNumberer.numberToObj |
Modifier and Type | Method and Description |
---|---|
static <E extends Numberable> |
PriorityQueue.noneOf(List<? extends E> universe,
boolean useNumberInterface) |
static <E extends Numberable> |
PriorityQueue.noneOf(List<? extends E> universe,
boolean useNumberInterface) |
static <E extends Numberable> |
PriorityQueue.of(List<? extends E> universe,
boolean useNumberInterface) |
static <E extends Numberable> |
PriorityQueue.of(List<? extends E> universe,
boolean useNumberInterface) |
Modifier and Type | Method and Description |
---|---|
Iterator<Numberable> |
SmallNumberedMap.keyIterator()
Returns an iterator over the keys with non-null values.
|
Iterator<Numberable> |
SmallNumberedMap.keyIterator()
Returns an iterator over the keys with non-null values.
|
Modifier and Type | Method and Description |
---|---|
boolean |
NumberedSet.add(Numberable o) |
boolean |
NumberedSet.add(Numberable o) |
boolean |
NumberedSet.contains(Numberable o) |
boolean |
NumberedSet.contains(Numberable o) |
V |
LargeNumberedMap.get(Numberable key) |
T |
SmallNumberedMap.get(Numberable key)
Returns the value associated with a given key.
|
T |
SmallNumberedMap.get(Numberable key)
Returns the value associated with a given key.
|
V |
LargeNumberedMap.get(Numberable key) |
boolean |
SmallNumberedMap.put(Numberable key,
T value)
Associates a value with a key.
|
boolean |
SmallNumberedMap.put(Numberable key,
T value)
Associates a value with a key.
|
boolean |
LargeNumberedMap.put(Numberable key,
V value) |
boolean |
LargeNumberedMap.put(Numberable key,
V value) |
Constructor and Description |
---|
ArrayNumberer(E[] elements) |
ArrayNumberer(E[] elements) |