Package | Description |
---|---|
cetus.analysis |
Modifier and Type | Method and Description |
---|---|
CallSite |
IPANode.getCallSite(FunctionCall fc)
Returns the call site object associated with the given function call.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<CallSite> |
IPANode.getCallingSites()
Returns the set of CallSite objects that calls the current node.
|
java.util.List<CallSite> |
IPANode.getCallSites()
Returns the list of call sites present in the procedure.
|
java.util.Set<CallSite> |
MayMod.updateCalls(IPANode node) |
java.util.Set<CallSite> |
IPRangeAnalysis.updateCalls(IPANode node)
Detects any changes in the range domain before call sites.
|
java.util.Set<CallSite> |
IPPointsToAnalysis.updateCalls(IPANode node)
Updates the forward information for each call site by performing mapping,
and by maintaining map-info for each different single-depth context.
|
Modifier and Type | Method and Description |
---|---|
static java.util.Set<PointsToRel> |
IPPointsToAnalysis.getReturnRelations(CallSite callsite)
Returns the set of points-to relations pointed by the return value of
the specified function call.
|
<T extends Domain> |
IPANode.in(CallSite calling_site)
Returns the context-sensitive IN data.
|
void |
IPANode.in(CallSite calling_site,
Domain domain)
Set the IN data with the specified Domain object and the calling site.
|