[cfe-commits] r105602 - in /cfe/trunk: lib/Checker/CMakeLists.txt lib/Checker/GRExprEngineExperimentalChecks.cpp lib/Checker/GRExprEngineInternalChecks.h lib/Checker/StackAddrLeakChecker.cpp test/Analysis/stackaddrleak.c
xuzhongxing at gmail.com
Tue Jun 8 22:08:19 PDT 2010
On Wed, Jun 9, 2010 at 12:43 PM, Ted Kremenek <kremenek at apple.com> wrote:
> On Jun 8, 2010, at 8:04 PM, Zhongxing Xu wrote:
> > 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.
> Hi Zhongxing,
> 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?
Ah, thanks! I was missing that.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-commits