Package | Description |
---|---|
soot |
Base Soot classes, shared by different intermediate representations.
|
soot.jimple.toolkits.typing |
Implements a typing algorithm for Jimple.
|
Modifier and Type | Field and Description |
---|---|
protected Scene |
FastHierarchy.sc |
protected Scene |
FastHierarchy.sc |
Modifier and Type | Field and Description |
---|---|
Map<Scene,ClassHierarchy> |
G.ClassHierarchy_classHierarchyMap |
Map<Scene,ClassHierarchy> |
G.ClassHierarchy_classHierarchyMap |
Modifier and Type | Method and Description |
---|---|
Scene |
Singletons.soot_Scene() |
static Scene |
Scene.v() |
static Scene |
Scene.v() |
Modifier and Type | Method and Description |
---|---|
Type |
RefType.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
Type |
Type.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
Type |
UnknownType.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
Type |
UnknownType.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
Type |
Type.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
Type |
RefType.merge(Type other,
Scene cm)
Returns the least common superclass of this type and other.
|
Modifier and Type | Method and Description |
---|---|
static ClassHierarchy |
ClassHierarchy.classHierarchy(Scene scene)
Get the class hierarchy for the given scene.
|
static ClassHierarchy |
ClassHierarchy.classHierarchy(Scene scene)
Get the class hierarchy for the given scene.
|
static void |
TypeResolver.resolve(JimpleBody stmtBody,
Scene scene) |
static void |
TypeResolverBV.resolve(JimpleBody stmtBody,
Scene scene)
Deprecated.
|
static void |
TypeResolverBV.resolve(JimpleBody stmtBody,
Scene scene)
Deprecated.
|
static void |
TypeResolver.resolve(JimpleBody stmtBody,
Scene scene) |