| Package | Description |
|---|---|
| com.ibm.wala.analysis.reflection |
This package provides functions to deal with reflection.
|
| com.ibm.wala.classLoader |
This package provides functionality related to class loading and
management of loaded classes.
|
| com.ibm.wala.demandpa.util | |
| com.ibm.wala.ipa.callgraph |
This package provides basic interfaces and functions for call graph
construction.
|
| 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.cfa |
This package provides RTA call graph
construction.
|
| com.ibm.wala.ipa.summaries |
This package provides class hierarchy analysis.
|
| 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.
|
| com.ibm.wala.util.strings |
| Modifier and Type | Field and Description |
|---|---|
static Atom |
CloneInterpreter.cloneAtom
Comment for
cloneAtom |
static Atom |
ClassNewInstanceContextInterpreter.newInstanceAtom |
| Modifier and Type | Method and Description |
|---|---|
Atom |
SyntheticMethod.getName() |
Atom |
ShrikeBTMethod.getName() |
Atom |
Language.getName()
What is the name of the language?
|
Atom |
JavaLanguage.getName() |
Atom |
IMember.getName() |
Atom |
IClassLoader.getName() |
Atom |
FieldImpl.getName() |
Atom |
ClassLoaderImpl.getName() |
| Modifier and Type | Method and Description |
|---|---|
protected void |
BytecodeClass.addFieldToList(List<FieldImpl> L,
Atom name,
ImmutableByteArray fieldType,
int accessFlags,
Collection<Annotation> annotations,
TypeSignature sig) |
protected List<IField> |
BytecodeClass.findDeclaredField(Atom name) |
IField |
IClass.getField(Atom name)
Finds a field.
|
IField |
BytecodeClass.getField(Atom name) |
IField |
ArrayClass.getField(Atom name) |
IField |
SyntheticClass.getField(Atom name,
TypeName typeName)
we assume synthetic classes do not need to have multiple fields with the same name.
|
IField |
IClass.getField(Atom name,
TypeName type)
Finds a field, given a name and a type.
|
IField |
BytecodeClass.getField(Atom name,
TypeName type) |
IField |
ArrayClass.getField(Atom name,
TypeName typeName) |
| Modifier and Type | Method and Description |
|---|---|
Atom |
ArrayContents.getName() |
| Modifier and Type | Field and Description |
|---|---|
static Atom |
AnalysisScope.APPLICATION |
static Atom |
AnalysisScope.EXTENSION |
static Atom |
AnalysisScope.PRIMORDIAL |
static Atom |
AnalysisScope.SYNTHETIC |
| Modifier and Type | Field and Description |
|---|---|
protected LinkedHashMap<Atom,ClassLoaderReference> |
AnalysisScope.loadersByName |
| Modifier and Type | Method and Description |
|---|---|
MethodReference |
AnalysisScope.findMethod(Atom loader,
String klass,
Atom name,
ImmutableByteArray desc)
Utility function.
|
Language |
AnalysisScope.getLanguage(Atom name) |
ClassLoaderReference |
AnalysisScope.getLoader(Atom name) |
| Modifier and Type | Field and Description |
|---|---|
static Atom |
FakeRootMethod.name |
| Modifier and Type | Method and Description |
|---|---|
void |
FakeRootClass.addStaticField(Atom name,
TypeReference fieldType) |
IField |
FakeRootClass.getField(Atom name) |
| Modifier and Type | Field and Description |
|---|---|
static Atom |
ContainerContextSelector.arraycopyAtom |
| Modifier and Type | Method and Description |
|---|---|
Atom |
BypassSyntheticClassLoader.getName() |
| Modifier and Type | Method and Description |
|---|---|
Set<Atom> |
XMLMethodSummaryReader.getIgnoredPackages() |
Map<Integer,Atom> |
VolatileMethodSummary.getLocalNames()
A mapping from SSA-Values to Variable-names.
|
| Modifier and Type | Method and Description |
|---|---|
IField |
LambdaSummaryClass.getField(Atom name) |
IField |
BypassSyntheticClass.getField(Atom name) |
| Modifier and Type | Method and Description |
|---|---|
void |
VolatileMethodSummary.setLocalNames(Map<Integer,Atom> merge)
Set localNames merges with existing names.
|
| Constructor and Description |
|---|
BypassMethodTargetSelector(MethodTargetSelector parent,
Map<MethodReference,MethodSummary> methodSummaries,
Set<Atom> ignoredPackages,
IClassHierarchy cha) |
SummarizedMethodWithNames.SyntheticIRWithNames.SyntheticSSA2LocalMap(Map<Integer,Atom> localNames) |
SummarizedMethodWithNames.SyntheticIRWithNames(IMethod method,
Context context,
AbstractCFG cfg,
SSAInstruction[] instructions,
SSAOptions options,
Map<Integer,ConstantValue> constants,
Map<Integer,Atom> localNames) |
SummarizedMethodWithNames(MethodReference ref,
MethodSummary summary,
IClass declaringClass,
Map<Integer,Atom> localNames) |
| Modifier and Type | Field and Description |
|---|---|
static Atom |
MethodReference.clinitName |
static Atom |
MethodReference.equalsAtom |
static Atom |
MethodReference.finalizeName |
static Atom |
MethodReference.forNameAtom |
static Atom |
MethodReference.initAtom |
static Atom |
ClassLoaderReference.Java
Canonical name for the Java language
|
static Atom |
MethodReference.newInstanceAtom |
static Atom |
MethodReference.runAtom |
| Modifier and Type | Method and Description |
|---|---|
Atom |
TypeName.getClassName() |
Atom |
ClassLoaderReference.getLanguage() |
Atom |
Selector.getName() |
Atom |
MemberReference.getName() |
Atom |
ClassLoaderReference.getName() |
Atom |
TypeName.getPackage() |
| Modifier and Type | Method and Description |
|---|---|
static TypeName |
TypeName.findOrCreate(Atom packageName,
Atom className,
int dim) |
static MethodReference |
MethodReference.findOrCreate(TypeReference tref,
Atom mn,
Descriptor md)
Find or create the canonical MethodReference 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.
|
static TypeName |
TypeName.findOrCreateClass(Atom packageName,
Atom className) |
| Constructor and Description |
|---|
ClassLoaderReference(Atom name,
Atom language,
ClassLoaderReference parent) |
MemberReference(TypeReference type,
Atom name,
int hash) |
Selector(Atom name,
Descriptor descriptor) |
| Modifier and Type | Method and Description |
|---|---|
Map<Integer,Atom> |
SSAValueManager.makeLocalNames()
Collect the variable-names of all known variables.
|
| Modifier and Type | Method and Description |
|---|---|
Atom |
Atom.arrayDescriptorFromElementDescriptor()
Return array descriptor corresponding to "this" array-element descriptor.
|
static Atom |
Atom.concat(Atom ma,
Atom mb) |
static Atom |
Atom.concat(byte c,
ImmutableByteArray b) |
static Atom |
Atom.findOrCreate(byte[] bytes) |
static Atom |
Atom.findOrCreate(byte[] utf8,
int off,
int len)
create an Atom from utf8[off] of length len
|
static Atom |
Atom.findOrCreate(ImmutableByteArray b) |
static Atom |
Atom.findOrCreate(ImmutableByteArray b,
int start,
int length) |
static Atom |
Atom.findOrCreateAsciiAtom(String str)
Find or create an atom.
|
static Atom |
Atom.findOrCreateUnicodeAtom(String str)
Find or create an atom.
|
static Atom |
Atom.findOrCreateUtf8Atom(byte[] utf8)
Find or create an atom.
|
Atom |
Atom.left(int count)
New Atom containing first count bytes
|
Atom |
Atom.parseForArrayElementDescriptor()
Parse "this" array descriptor to obtain descriptor for array's element type.
|
Atom |
Atom.parseForInnermostArrayElementDescriptor()
Return the innermost element type reference for an array
|
Atom |
Atom.right(int count)
New Atom containing last count bytes
|
| Modifier and Type | Method and Description |
|---|---|
static Atom |
Atom.concat(Atom ma,
Atom mb) |
static ImmutableByteArray |
StringStuff.parseForInnermostArrayElementDescriptor(Atom a)
Parse an array descriptor to obtain number of dimensions in corresponding array type.
|
boolean |
Atom.startsWith(Atom start) |
Copyright © 2015. All rights reserved.