<div class="gmail_quote">On Tue, Jun 5, 2012 at 1:20 AM, Karl Mazurak <span dir="ltr"><<a href="mailto:mazurak@cs.wisc.edu" target="_blank">mazurak@cs.wisc.edu</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">On 06/04/2012 02:40 PM, Manuel Klimek wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
what we do is outputting strings of (key, value) pairs from the analysis<br>
and later  fold those via an outside script;<br>
</blockquote>
<br></div>
That's roughly what we were thinking about starting off with, which sounds like it should work fine with a plugin.  (Unless I'm overlooking something?)</blockquote><div><br></div><div>Well, you usually want to run clang plugins as part of the build. At least for us, we usually want to run one build, and then run multiple global analysis passes over all the code in parallel.</div>
<div><br></div><div>Cheers,</div><div>/Manuel</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
you can use python or somesuch for the post-processing<br>
</blockquote>
<br></div>
Speaking of which, there isn't official documentation for the LibClang Python bindings yet, is there?</blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im"><br>
<br>
<br>
On 06/04/2012 04:57 PM, Anna Zaks wrote:<br>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
You can use ViewCFG and DumpCFG checkers to see how C++ statements are<br>
modeled (and what the deficiencies are):<br></div>
*clang -cc1 -analyze -analyzer-checker=debug.<u></u>ViewCFG test.c*<br>
</blockquote>
<br>
Hmm, my copy is still a bit out of date, but I'm getting nothing for ViewCFG; DumpCFG works fine, though.<br>
<br>
Also, is either of these formats meant to be read back in?  In case we end up needing more detail in our whole program analyses.<div class="im"><br>
<br>
<br>
On 06/04/2012 06:06 PM, Jim Goodnow II wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Actually, except for some of the new c++11 concepts like lambdas, most<br>
are currently handled and the analyzer can already be very useful for<br>
C++ programs.<br>
</blockquote>
<br></div>
Ah, good to know.<br>
<br>
<br>
Thanks, all of you!<span class="HOEnZb"><font color="#888888"><br>
<br>
-- <br>
Karl<br>
</font></span></blockquote></div><br>