Package | Description |
---|---|
cetus.analysis |
Modifier and Type | Method and Description |
---|---|
PointsToRel |
PointsToRel.clone() |
PointsToRel |
PointsToRel.mergeRel(PointsToRel rel)
Merge this rel with the input rel.
|
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.
|
Modifier and Type | Method and Description |
---|---|
void |
PointsToDomain.addRel(PointsToRel p_rel)
Add relationship to this domain
|
boolean |
PointsToDomain.containsPTR(PointsToRel ptr)
Checks if the specified points-to relation is found.
|
PointsToRel |
PointsToRel.mergeRel(PointsToRel rel)
Merge this rel with the input rel.
|
Constructor and Description |
---|
PointsToDomain(PointsToRel p_rel)
Create a domain with a single pointer relationship
|