1. Example

2. Introduction

3. Algorithms

4. References

5. Bibliography

In computer science, pointer analysis, or points-to analysis, is a static code analysis technique that establishes which pointers, or heap references, can point to which variables, or storage locations. It is often a component of more complex analyses such as escape analysis. A closely related technique is shape analysis.

(This is the most common colloquial use of the term. A secondary use has pointer analysis be the collective name for both points-to analysis, defined as above, and alias analysis. Points-to and alias analysis are closely related but not always equivalent problems.)

Example

For the following example program, a points-to analysis would

compute that the points-to set of p is {x, y}.

int x;

int y;

int* p = unknown() ? &x : &y;

Introduction

Techniques range widely in performance and precision. For large programs, some tradeoffs may be necessary to make the analysis finish in reasonable time and space. Two examples of these tradeoffs are:^[1]

• Treating all references from a structured object as being from the object as a whole. This is known as field insensitivity or structure insensitivity.
• Ignoring flow of control when analysing which objects are assigned to pointers. This is known as context-insensitive pointer analysis (when ignoring the context in which function calls are made) or flow-insensitive pointer analysis (when ignoring the control flow within a procedure).

The disadvantage of these simplifications is that the calculated set of objects pointed to may become less precise.

Algorithms

• Steensgaard's algorithm
• Andersen's algorithm

References

Bibliography

• {{cite conference

• {{cite conference

• {{cite thesis

• Collective investment fund
• Collective investment vehicle
• Collective invoicing
• Collective Labour Law
• Collective landscape
• Collective (Law & Order: Criminal Intent)
• Collectively exhaustive
• Collectively Exhaustive Events
• Collective Man
• Collective mental state
• Collective mimicry
• Collective of Democratic Mass Organizations and Political Parties
• Collective persecution
• Collective plural
• Collective protection
• Collective pseudonym
• Collective Security Organization
• Collective sensemaking
• Collective singing
• Collective society
• Collectives of Young Communists – Communist Youth
• Collective soul
• Collective (Star Trek)
• Collective (Star Trek: Voyager)
• Collective (Stavesacre album)