| Package | Description |
|---|---|
| com.ibm.wala.analysis.reflection |
This package provides functions to deal with reflection.
|
| com.ibm.wala.analysis.reflection.java7 | |
| com.ibm.wala.classLoader |
This package provides functionality related to class loading and
management of loaded classes.
|
| com.ibm.wala.demandpa.flowgraph | |
| com.ibm.wala.demandpa.util | |
| com.ibm.wala.ipa.callgraph.impl |
This package provides some implementations of basic functions needed for
various call graph construction algorithms.
|
| com.ibm.wala.ipa.callgraph.propagation |
This package provides the base layer for propagation-based call graph
construction and pointer analysis.
|
| com.ibm.wala.ipa.callgraph.propagation.cfa |
This package provides RTA call graph
construction.
|
| com.ibm.wala.ipa.callgraph.propagation.rta |
This package provides CFA-style call graph
construction and pointer analysis.
|
| com.ibm.wala.ipa.cha |
This package provides functionality related to class hierarchies.
|
| com.ibm.wala.ssa |
This package provides the WALA SSA IR.
|
| com.ibm.wala.types |
This package provides abstractions for the Java type system.
|
| com.ibm.wala.util.ssa |
A set of classes facilitating the construction of synthetic methods.
|
| Modifier and Type | Method and Description |
|---|---|
Iterator<FieldReference> |
MethodHandles.ContextInterpreterImpl.iterateFields(CGNode node,
com.ibm.wala.util.Predicate<SSAInstruction> filter) |
Iterator<FieldReference> |
MethodHandles.ContextInterpreterImpl.iterateFieldsRead(CGNode node) |
Iterator<FieldReference> |
MethodHandles.ContextInterpreterImpl.iterateFieldsWritten(CGNode node) |
| Modifier and Type | Method and Description |
|---|---|
FieldReference |
IField.getReference() |
FieldReference |
FieldImpl.getReference() |
| Modifier and Type | Method and Description |
|---|---|
Iterator<FieldReference> |
ShrikeBTMethod.getFieldsRead() |
static Collection<FieldReference> |
CodeScanner.getFieldsRead(IMethod m) |
static List<FieldReference> |
CodeScanner.getFieldsRead(SSAInstruction[] statements) |
Iterator<FieldReference> |
ShrikeBTMethod.getFieldsWritten() |
static Collection<FieldReference> |
CodeScanner.getFieldsWritten(IMethod m) |
static List<FieldReference> |
CodeScanner.getFieldsWritten(SSAInstruction[] statements) |
| Modifier and Type | Method and Description |
|---|---|
SSAAddressOfInstruction |
JavaLanguage.JavaInstructionFactory.AddressOfInstruction(int iindex,
int lval,
int local,
FieldReference field,
TypeReference pointeeType) |
SSAGetInstruction |
JavaLanguage.JavaInstructionFactory.GetInstruction(int iindex,
int result,
FieldReference field) |
SSAGetInstruction |
JavaLanguage.JavaInstructionFactory.GetInstruction(int iindex,
int result,
int ref,
FieldReference field) |
SSAPutInstruction |
JavaLanguage.JavaInstructionFactory.PutInstruction(int iindex,
int value,
FieldReference field) |
SSAPutInstruction |
JavaLanguage.JavaInstructionFactory.PutInstruction(int iindex,
int ref,
int value,
FieldReference field) |
| Constructor and Description |
|---|
FieldImpl(IClass declaringClass,
FieldReference canonicalRef,
int accessFlags,
Collection<Annotation> annotations) |
FieldImpl(IClass declaringClass,
FieldReference canonicalRef,
int accessFlags,
Collection<Annotation> annotations,
TypeSignature sig) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
SimpleDemandPointerFlowGraph.StatementVisitor.visitGetInternal(int lval,
boolean isStatic,
FieldReference field) |
protected void |
DemandPointerFlowGraph.StatementVisitor.visitGetInternal(int lval,
int ref,
boolean isStatic,
FieldReference field) |
void |
SimpleDemandPointerFlowGraph.StatementVisitor.visitPutInternal(int rval,
boolean isStatic,
FieldReference field) |
void |
DemandPointerFlowGraph.StatementVisitor.visitPutInternal(int rval,
int ref,
boolean isStatic,
FieldReference field) |
| Modifier and Type | Method and Description |
|---|---|
FieldReference |
ArrayContents.getReference() |
| Modifier and Type | Method and Description |
|---|---|
int |
AbstractRootMethod.addGetInstance(FieldReference ref,
int object) |
int |
AbstractRootMethod.addGetStatic(FieldReference ref) |
void |
AbstractRootMethod.addSetInstance(FieldReference ref,
int baseObject,
int value) |
void |
AbstractRootMethod.addSetStatic(FieldReference ref,
int value) |
| Modifier and Type | Method and Description |
|---|---|
com.ibm.wala.util.intset.OrdinalSet<InstanceKey> |
PointerAnalysisImpl.computeImplicitPointsToSetAtGet(CGNode node,
FieldReference field,
int refVn,
boolean isStatic) |
protected void |
SSAPropagationCallGraphBuilder.ConstraintVisitor.visitGetInternal(int lval,
int ref,
boolean isStatic,
FieldReference field) |
void |
SSAPropagationCallGraphBuilder.ConstraintVisitor.visitPutInternal(int rval,
int ref,
boolean isStatic,
FieldReference field) |
| Modifier and Type | Method and Description |
|---|---|
Iterator<FieldReference> |
FallbackContextInterpreter.iterateFieldsRead(CGNode node) |
Iterator<FieldReference> |
FallbackContextInterpreter.iterateFieldsWritten(CGNode node) |
| Modifier and Type | Method and Description |
|---|---|
Iterator<FieldReference> |
RTAContextInterpreter.iterateFieldsRead(CGNode node) |
Iterator<FieldReference> |
DelegatingRTAContextInterpreter.iterateFieldsRead(CGNode node) |
Iterator<FieldReference> |
DefaultRTAInterpreter.iterateFieldsRead(CGNode node) |
Iterator<FieldReference> |
ContextInsensitiveRTAInterpreter.iterateFieldsRead(CGNode node) |
Iterator<FieldReference> |
RTAContextInterpreter.iterateFieldsWritten(CGNode node) |
Iterator<FieldReference> |
DelegatingRTAContextInterpreter.iterateFieldsWritten(CGNode node) |
Iterator<FieldReference> |
DefaultRTAInterpreter.iterateFieldsWritten(CGNode node) |
Iterator<FieldReference> |
ContextInsensitiveRTAInterpreter.iterateFieldsWritten(CGNode node) |
| Modifier and Type | Method and Description |
|---|---|
IField |
IClassHierarchy.resolveField(FieldReference f) |
IField |
ClassHierarchy.resolveField(FieldReference f) |
IField |
IClassHierarchy.resolveField(IClass klass,
FieldReference f) |
IField |
ClassHierarchy.resolveField(IClass klass,
FieldReference f) |
| Modifier and Type | Method and Description |
|---|---|
FieldReference |
SSAFieldAccessInstruction.getDeclaredField() |
| Modifier and Type | Method and Description |
|---|---|
SSAAddressOfInstruction |
SSAInstructionFactory.AddressOfInstruction(int iindex,
int lval,
int local,
FieldReference field,
TypeReference pointeeType) |
SSAGetInstruction |
SSAInstructionFactory.GetInstruction(int iindex,
int result,
FieldReference field) |
SSAGetInstruction |
SSAInstructionFactory.GetInstruction(int iindex,
int result,
int ref,
FieldReference field) |
SSAPutInstruction |
SSAInstructionFactory.PutInstruction(int iindex,
int value,
FieldReference field) |
SSAPutInstruction |
SSAInstructionFactory.PutInstruction(int iindex,
int ref,
int value,
FieldReference field) |
| Constructor and Description |
|---|
SSAAddressOfInstruction(int iindex,
int lval,
int basePointer,
FieldReference field,
TypeReference pointeeType)
Use this constructor when taking the address of a field in an object.
|
SSAFieldAccessInstruction(int iindex,
FieldReference field,
int ref) |
SSAGetInstruction(int iindex,
int result,
FieldReference field) |
SSAGetInstruction(int iindex,
int result,
int ref,
FieldReference field) |
SSAPutInstruction(int iindex,
int val,
FieldReference field) |
SSAPutInstruction(int iindex,
int ref,
int val,
FieldReference field) |
| Modifier and Type | Method and Description |
|---|---|
static FieldReference |
FieldReference.findOrCreate(ClassLoaderReference loader,
String classType,
String fieldName,
String fieldType)
Find or create the canonical MemberReference instance for the given tuple.
|
static FieldReference |
FieldReference.findOrCreate(TypeReference tref,
Atom mn,
TypeReference fieldType)
Find or create the canonical MemberReference instance for the given tuple.
|
| Modifier and Type | Method and Description |
|---|---|
SSAGetInstruction |
TypeSafeInstructionFactory.GetInstruction(int iindex,
SSAValue targetValue,
FieldReference field)
Reads static field into targetValue.
|
SSAGetInstruction |
TypeSafeInstructionFactory.GetInstruction(int iindex,
SSAValue targetValue,
SSAValue containingInstance,
FieldReference field)
targetValue = containingInstance.field.
|
SSAPutInstruction |
TypeSafeInstructionFactory.PutInstruction(int iindex,
SSAValue newValue,
FieldReference field)
Writes newValue to static field.
|
SSAPutInstruction |
TypeSafeInstructionFactory.PutInstruction(int iindex,
SSAValue targetInstance,
SSAValue newValue,
FieldReference field)
Writes newValue to field of targetInstance.
|
Copyright © 2015. All rights reserved.