MyGCC and whole program static analysis

2006-08-30 Thread Basile STARYNKEVITCH
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

Re: MyGCC and whole program static analysis

2006-08-30 Thread Basile STARYNKEVITCH
Le Wed, Aug 30, 2006 at 06:36:19PM +0200, basile écrivait/wrote: > > 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 o

Re: MyGCC and whole program static analysis

2006-08-30 Thread Joe Buck
On Wed, Aug 30, 2006 at 06:36:19PM +0200, Basile STARYNKEVITCH wrote: > 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

Re: MyGCC and whole program static analysis

2006-08-30 Thread Joe Buck
On Wed, Aug 30, 2006 at 06:52:59PM +0200, Basile STARYNKEVITCH wrote: > Le Wed, Aug 30, 2006 at 06:36:19PM +0200, basile écrivait/wrote: > > > > 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

RE: MyGCC and whole program static analysis

2006-08-30 Thread Dave Korn
On 30 August 2006 17:53, Joe Buck wrote: > On Wed, Aug 30, 2006 at 06:36:19PM +0200, Basile STARYNKEVITCH wrote: >> 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 g

Re: MyGCC and whole program static analysis

2006-08-30 Thread Sebastian Pop
Joe Buck wrote: > On Wed, Aug 30, 2006 at 06:52:59PM +0200, Basile STARYNKEVITCH wrote: > > Le Wed, Aug 30, 2006 at 06:36:19PM +0200, basile écrivait/wrote: > > > > > > 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 an

Re: MyGCC and whole program static analysis

2006-08-30 Thread Sebastian Pop
Sebastian Pop wrote: > In my opinion the patch needs major rework and improvements to be > included in trunk. Here is my short review of the mygcc patch that lists some possible improvements and things that have to be redesigned: http://gcc.gnu.org/ml/gcc-patches/2006-08/msg00616.html

Re: MyGCC and whole program static analysis

2006-08-30 Thread Joe Buck
On Wed, Aug 30, 2006 at 06:18:06PM +0100, Dave Korn wrote: > Do you know if the included copy of $prefix/man/man7/gpl.7 counts as a > "written offer"? We're way off topic, so I'll reply to Dave offline. It appears otherwise we'll have a big gnu.misc.discuss thread here.

Re: MyGCC and whole program static analysis

2006-08-31 Thread Daniel Berlin
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 an

Re: MyGCC and whole program static analysis

2006-09-01 Thread Sebastian Pop
Daniel Berlin wrote: > >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) exten

Re: MyGCC and whole program static analysis

2006-09-03 Thread Nic Volanschi
On Wednesday 30 August 2006 18:52, Basile STARYNKEVITCH wrote: > Le Wed, Aug 30, 2006 at 06:36:19PM +0200, basile écrivait/wrote: > > 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 th