On Mon, 2005-10-24 at 04:50 +0000, shreyas krishnan wrote: > Hi , > I am overwhelmed with the jargon and world of alias analysis and > different kinds of it. I was wondering if some one can help me with > this simple question. Is deciding if a pointer is pointing to what > segment (heap/otherwise) a simpler problem than exactly deciding the > points to set?
No, since deciding what segments it points to is equivalent to deciding what it points to. All you'd really be doing in an analyzer to solve this would be simply replacing things that added the explicit variables to the points-to sets, which things that added segmentof(variable) to the points-to set. I.E. Knowing the type of memory a variable points to (stack, heap) is a side-effect of knowing what the variable points to. --Dan
