| Package | Description |
|---|---|
| com.ibm.wala.analysis.typeInference |
This package provides intraprocedural type inference over the SSA form.
|
| com.ibm.wala.classLoader |
This package provides functionality related to class loading and
management of loaded classes.
|
| com.ibm.wala.ipa.callgraph |
This package provides basic interfaces and functions for call graph
construction.
|
| com.ibm.wala.ipa.cha |
This package provides functionality related to class hierarchies.
|
| 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.strings |
| Modifier and Type | Field and Description |
|---|---|
protected Language |
TypeInference.language |
| Modifier and Type | Interface and Description |
|---|---|
interface |
BytecodeLanguage |
| Modifier and Type | Class and Description |
|---|---|
class |
JavaLanguage
The implementation of
Language which defines Java semantics. |
class |
LanguageImpl
Common functionality for most
Language implementations. |
| Modifier and Type | Method and Description |
|---|---|
Language |
LanguageImpl.getBaseLanguage() |
Language |
Language.getBaseLanguage()
If this language is "derived" from some other langauge, which one?
|
Language |
IClassLoader.getLanguage() |
Language |
ClassLoaderImpl.getLanguage() |
| Modifier and Type | Method and Description |
|---|---|
Set<Language> |
LanguageImpl.getDerivedLanguages() |
Set<Language> |
Language.getDerivedLanguages() |
| Modifier and Type | Method and Description |
|---|---|
static Set<TypeReference> |
CodeScanner.getCaughtExceptions(Language l,
SSAInstruction[] statements) |
void |
LanguageImpl.registerDerivedLanguage(Language l) |
void |
Language.registerDerivedLanguage(Language l)
Yuck? Languages are mutable?
|
| Constructor and Description |
|---|
LanguageImpl(Language base) |
| Modifier and Type | Method and Description |
|---|---|
Language |
AnalysisScope.getLanguage(Atom name) |
| Modifier and Type | Method and Description |
|---|---|
Set<Language> |
AnalysisScope.getBaseLanguages() |
Collection<Language> |
AnalysisScope.getLanguages() |
| Constructor and Description |
|---|
AnalysisScope(Collection<? extends Language> languages) |
| Modifier and Type | Method and Description |
|---|---|
static ClassHierarchy |
ClassHierarchy.make(AnalysisScope scope,
ClassLoaderFactory factory,
Language language) |
static ClassHierarchy |
ClassHierarchy.make(AnalysisScope scope,
ClassLoaderFactory factory,
Language language,
com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
temporarily marking this internal to avoid infinite sleep with randomly chosen IProgressMonitor.
|
| Modifier and Type | Method and Description |
|---|---|
static ClassHierarchy |
ClassHierarchy.make(AnalysisScope scope,
ClassLoaderFactory factory,
Set<Language> languages) |
| Modifier and Type | Method and Description |
|---|---|
Language |
BypassSyntheticClassLoader.getLanguage() |
| Modifier and Type | Method and Description |
|---|---|
static MethodSummary |
BypassMethodTargetSelector.generateStandardNoOp(Language l,
MethodReference m,
boolean isStatic)
Generate a
MethodSummary which is the "standard" representation of a method
that does nothing. |
| Modifier and Type | Method and Description |
|---|---|
static MethodReference |
MethodReference.findOrCreate(Language l,
ClassLoaderReference loader,
String methodClass,
String methodName,
String methodSignature) |
static Descriptor |
Descriptor.findOrCreate(Language l,
ImmutableByteArray b) |
static MethodReference |
MethodReference.findOrCreate(Language l,
TypeReference t,
String methodName,
String descriptor) |
static Descriptor |
Descriptor.findOrCreateUTF8(Language l,
String s) |
static Selector |
Selector.make(Language l,
String selectorStr) |
| Modifier and Type | Method and Description |
|---|---|
static MethodReference |
StringStuff.makeMethodReference(Language l,
String methodSig) |
static TypeName[] |
StringStuff.parseForParameterNames(Language l,
ImmutableByteArray b)
Parse method descriptor to obtain descriptions of method's parameters.
|
static TypeName[] |
StringStuff.parseForParameterNames(Language l,
String descriptor) |
static TypeName |
StringStuff.parseForReturnTypeName(Language l,
ImmutableByteArray b)
Parse method descriptor to obtain description of method's return type.
|
static TypeName |
StringStuff.parseForReturnTypeName(Language l,
String desc) |
Copyright © 2015. All rights reserved.