3 ms·
Aliasing is statically undecidable for all cases in any reasonable programming language. However, the general analysis you are looking for is known as "points-
by DannyBee 12y ago
Aliasing is statically undecidable for all cases in any reasonable programming language.
However, the general analysis you are looking for is known as "points-to analysis".
It is a very large and complicated topic.
Happy to try to answer anything more specific though.
- Ono-Sendai 12y agoIn a functional programming language, aliasing either doesn't matter (as accesses will be read-only for function arguments), or is easy, as the function result is not the same array as either of the arguments.