2008/5/28 Taras Glek <[EMAIL PROTECTED]>: > Guillem Marpons wrote: >> >> Hello all, >> >> In the context of the GlobalGCC project (http://www.ggcc.info, >> http://gcc.gnu.org/ml/gcc/2006-10/msg00676.html) we are developing a >> facility for automatically enforcing coding rules. >> >> (...) >> >> http://www.ggcc.info/?q=codingrules >> > > In your overview of other available tools you are missing the > Dehydra/Treehydra projects being worked on at Mozilla. I think our work > shares many of the same goals and sounds like there are implementation > similarities. It's great to see that both of us initially focused on C++.
I hadn't heard about your project, thanks for the information. Indeed, we've also not mentioned Ada coding rules checking in AdaCore's GNAT Pro, and other (free) tools that I've not tested/compared yet. > There are also some differences. We chose to use an imperative language to > specify our rules. Additionally, we added a plugin interface to GCC to > minimize GCC changes. I'll be presenting at the GCC summit on the work we've > done. This plugin interface sounds interesting, I'd like to have a look at it. We're also trying to be as less intrusive as possible, as this functionality is not to be used by every user, and for sure not in every compilation. > See http://developer.mozilla.org/en/docs/Dehydra (The goals listed on the > web page above describe Dehydra's purpose quite well) and > http://developer.mozilla.org/en/doc/Treehydra > We've done a fair bit of information extraction with Dehydra. I wonder if > Dehydra could output identical prolog information. Generating Prolog facts is usually simple once you've retrieved the necessary information, if you have suitable printing functions for formatting the output. > Would be great if we could pool our efforts together on some level. Sure! I'm looking forward to see your presentation at the Summit! Regards, Guillem
