Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [cdt-dev] Static Analysis Framework for CDT

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


Back to the top