[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
kremenek at apple.com
Tue Jun 8 21:43:42 PDT 2010
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.
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?
More information about the cfe-commits