RE: [cdt-dev] Static Analysis Framework for CDT

["Dominique Toupin" <dominique.toupin@xxxxxxxxxxxx>]

In practice I don't think CDT parser has the same info/capability as
GCC, GCC has a lot of info about the code and we can do advance static
analysis (not grep like) with this info.
I am not suggesting to integrate GCC code into CDT, the GCC static
analysis would be an external tool just like GCC/GDB today.
Even if it's an external tool it brings a lot of features to CDT, it's
just like compile (GCC) and debug (GDB) today.

> -----Original Message-----
> From: cdt-dev-bounces@xxxxxxxxxxx 
> [mailto:cdt-dev-bounces@xxxxxxxxxxx] On Behalf Of Doug Schaefer
> Sent: 17-Apr-09 09:52
> To: CDT General developers list.
> Subject: Re: [cdt-dev] Static Analysis Framework for CDT
> 
> My bigger concern is that all GCC plug-ins must be GPL. I'd 
> especially be worried about plug-ins written specifically for 
> the CDT and whether that affects the definition of "derived" 
> and thus, causing us legal grief.
> 
> At any rate, theoretically, the CDT parsers already create 
> the same information that gcc would. And we can avoid any 
> legal problems that way.
> 
> Doug.
> 
> On Fri, 2009-04-17 at 09:43 -0400, Elena Laskavaia wrote:
> > GCC plugins means it would be part of GCC which is external 
> to eclipse?
> > If so it can be just run as external and not part of the 
> framework which is Java based.
> > 
> > Dominique Toupin wrote:
> > > Hi Elena,
> > > 
> > > If you are doing simple rules, CDT alone should be OK but if you 
> > > need complicated rules (e.g. data-flow analysis) then you 
> might want 
> > > to also look at GCC plugin 
> http://gcc.gnu.org/wiki/GCC_Plugins, they 
> > > did progress and hopefully the architecture will be 
> resolve for the 
> > > GCC summit (http://gccsummit.org/2009/), some CDT committers will 
> > > also attend the GCC summit (at least Francois and Marc).
> > > 
> > > Last year at the GCC summit some static analysis tools 
> based on GCC 
> > > where presented e.g. https://developer.mozilla.org/en/Treehydra,
> > > 
> https://developer.mozilla.org/en/Dehydra?rdfrom=https%3A%2F%2Fwiki.m
> > > ozil la.org%2Findex.php%3Ftitle%3DDehydra_GCC%26redirect%3Dno.
> > > 
> > > If we can have good static analysis rules with GCC 
> plugins it will 
> > > make sense to integrate those into CDT.
> > > 
> > > Dominique
> > > 
> > > 
> > >> -----Original Message-----
> > >> From: cdt-dev-bounces@xxxxxxxxxxx
> > >> [mailto:cdt-dev-bounces@xxxxxxxxxxx] On Behalf Of Elena Laskavaia
> > >> Sent: 16-Apr-09 22:44
> > >> To: CDT General developers list.
> > >> Subject: [cdt-dev] Static Analysis Framework for CDT
> > >>
> > >> This is something I am doing in my spare time - I want to create 
> > >> static analysis framework for CDT, light weigh set of 
> classes that 
> > >> allow to have common interface for dealing with problems 
> produced 
> > >> by static analysis tools (and some default checkers, 
> such what JDT 
> > >> has, i.e Potential Null Pointer Dereference, etc).
> > >>
> > >> See design details at: 
> > >> http://wiki.eclipse.org/CDT/designs/StaticAnalysis
> > >> _______________________________________________
> > >> cdt-dev mailing list
> > >> cdt-dev@xxxxxxxxxxx
> > >> https://dev.eclipse.org/mailman/listinfo/cdt-dev
> > >>
> > > _______________________________________________
> > > cdt-dev mailing list
> > > cdt-dev@xxxxxxxxxxx
> > > https://dev.eclipse.org/mailman/listinfo/cdt-dev
> > _______________________________________________
> > cdt-dev mailing list
> > cdt-dev@xxxxxxxxxxx
> > https://dev.eclipse.org/mailman/listinfo/cdt-dev
> _______________________________________________
> cdt-dev mailing list
> cdt-dev@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/cdt-dev
>