[cfe-dev] C++ analysis with Clang?

Kostya Serebryany 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.


Karl,
What kinds of bugs are you planing to hunt?

--kcc


>  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
> analysis?
>
> Thanks!
>
> --
> Karl
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20120605/f2f0c668/attachment.html>


More information about the cfe-dev mailing list