<div dir="ltr">Thanks Gabor. <div>I was able to achieve the required functionality in <font face="arial, sans-serif">checkDeadSymbols by using SymbolReaper's isLiveRegion function. </font><div><font face="arial, sans-serif"><br>
</font></div></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, May 24, 2013 at 12:20 PM, Gábor Kozár <span dir="ltr"><<a href="mailto:kozargabor@gmail.com" target="_blank">kozargabor@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Hi,<br></div><div><br></div><div>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).</div>


<div><br></div><div>Symbols are created when the Static Analyzer has no knowledge of that particular value. You were correct in trying to work with MemRegion-s.</div><div><br></div><div>Gabor</div></div><div class="gmail_extra">


<br><br><div class="gmail_quote">2013/5/24 Karthik Bhat <span dir="ltr"><<a href="mailto:blitz.opensource@gmail.com" target="_blank">blitz.opensource@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div><div class="h5">

<div dir="ltr">Hi,<div>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</div><div><br></div>
<div>class A {</div><div>public:</div><div>void myConstruct() {};</div><div>};</div><div><br></div><div>void fun() {</div><div>  A a;<br></div><div>  a. Construct();</div><div>
  return;</div><div>}</div><div><br></div><div>int main() {</div><div>  fun();<br></div><div>  return 0;</div><div>}</div><div><br></div><div>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.</div>



<div><br></div><div>I also tried to using symbol corresponding to it (i.e getCXXThisVal().getAsSymbol()) but it always returns NULL.</div><div><br></div><div>Could anyone guide me how can i track that MemRegion corresponding to a has been invalidated after the fun returns?</div>



<div><br></div><div>Thanks</div><span><font color="#888888"><div>Karthik</div></font></span></div>
<br></div></div>_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu" target="_blank">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
<br></blockquote></div><br></div>
</blockquote></div><br></div>