<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 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 class="HOEnZb"><font color="#888888"><div>Karthik</div></font></span></div>
<br>_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu">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>