<br><br><div class="gmail_quote">On Sat, Jun 2, 2012 at 5:36 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">
Hi all -<br>
<br>
Our group is considering using Clang for some program analysis,<br>
primarily aimed at bug-hunting.</blockquote><div><br></div><div>Karl, </div><div>What kinds of bugs are you planing to hunt? </div><div><br></div><div>--kcc </div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  We're targeting C++, which I understand<br>
means the static analyzer isn't an option just yet, but it looks like<br>
there's still plenty there that could be useful - so much that I'm not<br>
sure what to start experimenting with.<br>
<br>
The plugin tutorial uses a PluginASTAction and links to an example with<br>
a RecursiveASTVisitor, but of course we'd like to avoid reinventing the<br>
wheel (at coding time or at run time) as much as possible.  For<br>
instance, are CFGs pre-constructed somewhere?  Does the dataflow<br>
framework in Analysis/FlowSensitive work with C++?  Is this Sema of any<br>
use outside the path-sensitive analyzer?  And is there anything in Clang<br>
that could be useful in aggregating results together in whole program<br>
analysis?<br>
<br>
Thanks!<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Karl<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>
</font></span></blockquote></div><br>