| RE: [cdt-dev] Static Analysis Framework for CDT |
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 >