| Package | Description |
|---|---|
| com.ibm.wala.analysis.reflection |
This package provides functions to deal with reflection.
|
| com.ibm.wala.analysis.typeInference |
This package provides intraprocedural type inference over the SSA form.
|
| com.ibm.wala.ipa.summaries |
This package provides class hierarchy analysis.
|
| Modifier and Type | Method and Description |
|---|---|
TypeAbstraction |
JavaTypeContext.getType() |
TypeAbstraction |
GetMethodContext.getType()
Get the type.
|
protected TypeAbstraction |
AbstractReflectionInterpreter.typeRef2TypeAbstraction(IClassHierarchy cha,
TypeReference type) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
FactoryBypassInterpreter.SpecializedFactoryMethod.addStatementsForTypeAbstraction(TypeAbstraction T) |
static AbstractReflectionInterpreter.NoSubtypesWarning |
AbstractReflectionInterpreter.NoSubtypesWarning.create(TypeAbstraction T) |
static AbstractReflectionInterpreter.ManySubtypesWarning |
AbstractReflectionInterpreter.ManySubtypesWarning.create(TypeAbstraction T,
int n) |
| Constructor and Description |
|---|
GetMethodContext(TypeAbstraction type,
ConstantKey name)
Construct this GetMethodContext.
|
JavaTypeContext(TypeAbstraction type) |
| Modifier and Type | Class and Description |
|---|---|
class |
ConeType
Represents a type and its subtypes.
|
class |
JavaPrimitiveType
Abstraction of a primitive type in Java.
|
class |
PointType
Represents a single concrete type.
|
class |
PrimitiveType
Abstraction of a primitive type.
|
class |
SetType
Abstraction of a set of
PointType. |
| Modifier and Type | Field and Description |
|---|---|
protected TypeAbstraction |
TypeInference.BOTTOM
A cone type for java.lang.Object
|
static TypeAbstraction |
TypeAbstraction.TOP
Canonical element representing TOP for a dataflow lattice
|
| Modifier and Type | Method and Description |
|---|---|
TypeAbstraction[] |
TypeInference.extractAllResults()
Extract all results of the type inference analysis.
|
TypeAbstraction |
TypeInference.getConstantPrimitiveType(int valueNumber) |
TypeAbstraction |
TypeInference.getConstantType(int valueNumber) |
TypeAbstraction |
TypeVariable.getType() |
TypeAbstraction |
TypeInference.getType(int valueNumber)
Return the type computed for a particular value number
|
abstract TypeAbstraction |
TypeAbstraction.meet(TypeAbstraction rhs) |
TypeAbstraction |
SetType.meet(TypeAbstraction rhs) |
TypeAbstraction |
PrimitiveType.meet(TypeAbstraction rhs) |
TypeAbstraction |
PointType.meet(TypeAbstraction rhs) |
TypeAbstraction |
ConeType.meet(TypeAbstraction rhs) |
| Modifier and Type | Method and Description |
|---|---|
abstract TypeAbstraction |
TypeAbstraction.meet(TypeAbstraction rhs) |
TypeAbstraction |
SetType.meet(TypeAbstraction rhs) |
TypeAbstraction |
PrimitiveType.meet(TypeAbstraction rhs) |
TypeAbstraction |
PointType.meet(TypeAbstraction rhs) |
TypeAbstraction |
ConeType.meet(TypeAbstraction rhs) |
void |
TypeVariable.setType(TypeAbstraction type) |
| Constructor and Description |
|---|
TypeInference.DeclaredTypeOperator(TypeAbstraction type) |
TypeVariable(TypeAbstraction type) |
| Modifier and Type | Method and Description |
|---|---|
TypeAbstraction |
ReflectionSummary.getTypeForNewInstance(int bcIndex,
IClassHierarchy cha) |
Copyright © 2015. All rights reserved.