| Package | Description |
|---|---|
| com.ibm.wala.demandpa.alg | |
| com.ibm.wala.demandpa.alg.refinepolicy | |
| com.ibm.wala.demandpa.flowgraph | |
| com.ibm.wala.ipa.callgraph.propagation.cfa |
This package provides RTA call graph
construction.
|
| Modifier and Type | Method and Description |
|---|---|
protected CallerSiteContext[] |
CallStack.makeInternalArray(int size) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
ContextSensitiveStateMachine.RecursionHandler.isRecursive(CallerSiteContext callSite) |
boolean |
ContextSensitiveStateMachine.BasicRecursionHandler.isRecursive(CallerSiteContext callSite) |
protected CallStack |
CallStack.makeStack(CallerSiteContext[] tmpEntries) |
CallStack |
CallStack.push(CallerSiteContext entry) |
| Modifier and Type | Method and Description |
|---|---|
void |
ContextSensitiveStateMachine.RecursionHandler.makeRecursive(Collection<CallerSiteContext> callSites) |
void |
ContextSensitiveStateMachine.BasicRecursionHandler.makeRecursive(Collection<CallerSiteContext> callSites) |
| Constructor and Description |
|---|
CallStack(CallerSiteContext[] entries) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
NeverRefineCGPolicy.shouldRefine(CallerSiteContext callSiteAndCGNode) |
boolean |
ManualCGRefinePolicy.shouldRefine(CallerSiteContext callSiteAndCGNode) |
boolean |
CallGraphRefinePolicy.shouldRefine(CallerSiteContext callSiteAndCGNode) |
boolean |
AlwaysRefineCGPolicy.shouldRefine(CallerSiteContext callSiteAndCGNode) |
| Modifier and Type | Field and Description |
|---|---|
protected CallerSiteContext |
CallLabel.callSite |
| Modifier and Type | Method and Description |
|---|---|
CallerSiteContext |
CallLabel.getCallSite() |
| Modifier and Type | Method and Description |
|---|---|
Set<CallerSiteContext> |
IFlowGraph.getPotentialCallers(PointerKey formalPk) |
Set<CallerSiteContext> |
AbstractDemandFlowGraph.getPotentialCallers(PointerKey formalPk) |
| Modifier and Type | Method and Description |
|---|---|
static ReturnLabel |
ReturnLabel.make(CallerSiteContext callSite) |
static ReturnBarLabel |
ReturnBarLabel.make(CallerSiteContext callSite) |
static ParamLabel |
ParamLabel.make(CallerSiteContext callSite) |
static ParamBarLabel |
ParamBarLabel.make(CallerSiteContext callSite) |
| Constructor and Description |
|---|
CallLabel(CallerSiteContext callSite) |
| Modifier and Type | Class and Description |
|---|---|
class |
CallerSiteContextPair
This is a context which is defined by a pair consisting of
|
Copyright © 2015. All rights reserved.