Maybe some of your are aware of MyGCC http://mygcc.free.fr/ which seems to be an extended GCC to add some kind of static analysis.
I'm quite surprised that the mygcc page gives x86/linux binaries, but no source tarball of their compiler (this seems to me against the spirit of the GPL licence, but I am not a lawyer). As some few people might already know, the GGCC (globalgcc) project is just starting (partly funded within the ITEA framework by french, spanish, swedish public money) - its kick off meeting is next week in Paris. GGCC aims to provide a (GPL opensource) extension to GCC for program wide static analysis (& optimisations) and coding rules validation. But this mail is not a formal announcement of it... I am also extremely interested in the LTO framework, in particular their persistence of GIMPLE trees. Could LTO people explain (if possible) if their framework is extensible (to some new Gimple nodes) and usable in some other setting (for example, storing program wide static analysis partial results, perhaps in a "project" related database or file). It is too bad that they only store information in DWARF3 format... Do they have some technical description of their format and persistence machineray (I've read their introductory paper). BTW, I am still a newbie on GCC... Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net aliases: basile<at>tunes<dot>org = bstarynk<at>nerim<dot>net 8, rue de la Faïencerie, 92340 Bourg La Reine, France
