Thanks Anna.. Can you suggest me some place were i can find document for static analyzer core module. I found many documents for checkers and how to write checkers, but couldn't find document explaining functioning of static analyzer core.<div>
<br></div><div>Any help appreciated. </div><div><br></div><div>Thanks<br><br><div class="gmail_quote">On Tue, Jan 15, 2013 at 12:43 AM, Anna Zaks <span dir="ltr"><<a href="mailto:ganna@apple.com" target="_blank">ganna@apple.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im"><br>
On Jan 14, 2013, at 1:52 AM, Karthik Bhat <<a href="mailto:blitz.opensource@gmail.com">blitz.opensource@gmail.com</a>> wrote:<br>
<br>
> Hi All,<br>
><br>
> I was going through clang project and found static analyzer to be a quite useful tool. I would like to work and contribute on the same. I went through the code and developed few basic checkers(Socket stream checker etc) to start with.<br>

><br>
> I had a doubt which i wanted to clarify from the community.<br>
><br>
> If i'm not wrong Clang static tool currently supports only one translation unit at a time and so inter procedural analysis across translation unit is not supported.<br>
<br>
</div>That is correct.<br>
<div class="im"><br>
> Is there any plan to support the same in clang static analyzer?<br>
<br>
</div>This is something we would definitely like to address as it is one of the main missing pieces. I am not sure when we are going to address it.<br>
<div class="im"><br>
> What kind of infrastructure would be required in static analyzer core to support this feature?<br>
<br>
</div>We have not designed this in detail yet. However, this is going to be a lot of work. We would probably go with summary based approach, where one constructs summaries for the analyzed functions; the summaries are then used when modeling the calls.<br>

<div class="im"><br>
> Will it require detailed understanding of clang front end(AST etc)?<br>
><br>
<br>
</div>This project would require understanding the analyzer very well.<br>
<br>
> Thanks<br>
> Karthik<br>
><br>
><br>
><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>