Differences
This shows you the differences between two versions of the page.
sav08:pointer_analyses [2008/05/21 10:57] vkuncak created |
sav08:pointer_analyses [2008/05/21 10:58] (current) vkuncak |
||
---|---|---|---|
Line 53: | Line 53: | ||
**References** | **References** | ||
* [[ftp://ftp.research.microsoft.com/users/rusa/popl96.ps|Points-to Analysis in Almost Linear Time]] | * [[ftp://ftp.research.microsoft.com/users/rusa/popl96.ps|Points-to Analysis in Almost Linear Time]] | ||
+ | |||
===== Andersen's analysis ===== | ===== Andersen's analysis ===== | ||
Line 60: | Line 61: | ||
Context is program specialization: given program $P(x,y)$ and a known input $k$, generate a specialized, more efficient, program $P_k(y)$ such that $P_k(y) = P(k,y)$. | Context is program specialization: given program $P(x,y)$ and a known input $k$, generate a specialized, more efficient, program $P_k(y)$ such that $P_k(y) = P(k,y)$. | ||
- | Run-time specialization: convert $P(x,y)$ into program that takes $x$, then produces $P_k(y)$. $k$ is determined at run-time, and you can create the copy of $P_k(y)$ you need. | + | Used in run-time specialization. |
Needed a series of analyses, but most known for its pointer analysis. | Needed a series of analyses, but most known for its pointer analysis. |