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

[Doug Schaefer <doug.schaefer@xxxxxxxxxxxxx>]

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.mozil
> > 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