Hi,
During the last two years, I developed a gcc pass called tree-check
that performs user-defined checks on the tree (GIMPLE) form of a
function.
The checks are specified using a new option --tree-check, and are
powerful enough to express user-defined memory leaks, null pointer
dereferences, unr
On Tue, 2006-03-28 at 17:23, Diego Novillo wrote:
> Oh, excellent. Coincidentally, we have been thinking about developing
> some kind of plugin/extension framework to allow these classes of
> analyses. One of the goals is to provide an extensibility mechanism
> that will not require rebuilding GC
Hi,
I've sent this request for assignment last week to [EMAIL PROTECTED]
Will I receive (only) a snail mail answer? Did I submit the right version
of the form?
Thanks for any help,
Nic.
--
REQUEST: SEND FORM FOR PAST AND FUTURE
OK, I have put a preview of the tree-check pass (performing lightweight
user-defined checks) on:
http://mygcc.free.fr.
Any comments are welcome.
Nic.
On Tue, 2006-03-28 at 17:23, Diego Novillo wrote:
> On 03/27/06 16:35, Nic Volanschi wrote:
>
> > The checks are specified using
On Wed, 2006-04-05 at 09:12, Zack Weinberg wrote:
> It's an interesting system. I wonder if it's powerful enough to express
> the rather complicated constraints on objects of type va_list. Warnings
> for violations of those constraints would be valuable - there are common
> portability errors tha
On Fri, 2006-04-07 at 01:43, Joe Buck wrote:
> On Thu, Apr 06, 2006 at 11:58:20PM +0200, Nic Volanschi wrote:
> > 3. (in the caller:) exiting the function after a va_start() then a call
> > to the mangler without an va_end().
> > This one involves more than a from/to/avo
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
Hi Jonas,
Thanks for this confirmation. To accelerate my processing of these
papers, would it be possible to already have an electronic version of
them by e-mail? Even a generic version would be ok. This way, I can sign
and return you the paper copy as soon as I get it.
Cheers,
Nic.
On Thu, 2006
