<br><br><div class="gmail_quote">On Wed, Jun 9, 2010 at 12:43 PM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div class="im"><br>
On Jun 8, 2010, at 8:04 PM, Zhongxing Xu wrote:<br>
<br>
> From the memory space region of a VarRegion, we can only know if it's on the stack or global. We can't know which CallStackFrame it is in.<br>
<br>
</div>Hi Zhongxing,<br>
<br>
The MemSpaceRegion for the VarRegion should be a StackSpaceRegion.  In the StackSpaceRegion there is a method to get the StackFrameContext.  In this way StackSpaceRegions are completely context-sensitive (and so are VarRegions).  This was by design to support inter-procedural analysis.  Am I missing some detail?</blockquote>
</div><br>Ah, thanks! I was missing that.<br>