[cfe-dev] [Static Analyzer]How to track Dead memory Region of C++ objects

[Gábor Kozár]

Hi,

What you need is checkDeadSymbols(). In it, iterate through all your
tracked MemRegion-s, and ask the SymbolReaper whether they are dead (I
can't remember the name of the method, but it should be trivial).

Symbols are created when the Static Analyzer has no knowledge of that
particular value. You were correct in trying to work with MemRegion-s.

Gabor


2013/5/24 Karthik Bhat <blitz.opensource at gmail.com>

> Hi,
> I'm developing a checker for internal purpose were i need to track when
> Mem region corresponding to a class object gets invalidated. For example in
> the code below
>
> class A {
> public:
> void myConstruct() {};
> };
>
> void fun() {
>   A a;
>   a. Construct();
>   return;
> }
>
> int main() {
>   fun();
>   return 0;
> }
>
> the memoryRegion for class A's instance a gets invalidated as soon as we
> return from fun() but i'm currently not getting checkRegionChanges
> corresponding to this event. ( I'm using getCXXThisVal().getAsRegion() to
> get the MemRegion corresponding to instance a.
>
> I also tried to using symbol corresponding to it (i.e
> getCXXThisVal().getAsSymbol()) but it always returns NULL.
>
> Could anyone guide me how can i track that MemRegion corresponding to a
> has been invalidated after the fun returns?
>
> Thanks
> Karthik
>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130524/5d9c34bb/attachment.html>