[cfe-dev] C++ analysis with Clang?
kcc at google.com
Tue Jun 5 01:52:17 PDT 2012
On Sat, Jun 2, 2012 at 5:36 AM, Karl Mazurak <mazurak at cs.wisc.edu> wrote:
> Hi all -
> Our group is considering using Clang for some program analysis,
> primarily aimed at bug-hunting.
What kinds of bugs are you planing to hunt?
> We're targeting C++, which I understand
> means the static analyzer isn't an option just yet, but it looks like
> there's still plenty there that could be useful - so much that I'm not
> sure what to start experimenting with.
> The plugin tutorial uses a PluginASTAction and links to an example with
> a RecursiveASTVisitor, but of course we'd like to avoid reinventing the
> wheel (at coding time or at run time) as much as possible. For
> instance, are CFGs pre-constructed somewhere? Does the dataflow
> framework in Analysis/FlowSensitive work with C++? Is this Sema of any
> use outside the path-sensitive analyzer? And is there anything in Clang
> that could be useful in aggregating results together in whole program
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev