This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: c/c++ validator

From: Mark Loeser <halcy0n at gentoo dot org>
To: Tommy Vercetti <vercetti at zlew dot org>
Cc: gcc at gcc dot gnu dot org
Date: Sat, 18 Jun 2005 23:03:47 -0400
Subject: Re: c/c++ validator
References: <200506190024.18033@gj-laptop>

Tommy Vercetti wrote:
> Hi folks
> 
> I would like to ask you about source validation software. Software that runs 
> trough source code, and attempts to find any possible memory leaks, and other 
> problems. Is there anything opensource for C or/and C++ out there ?

My summer research project that I'm working on is very closely related
to this.  Its a static analysis tool that looks for problems like buffer
overflows, unitialized variables, and division by zero.  Unfortunately
its not yet open sourced (probably because its still really really
beta), but I'm trying to talk to my advisor to see if he'd let me
continue working on it on my own and open source it, or if he is going
to release it at some point.

If you are interested, email me back off list and I'll talk to my advisor.

Mark Loeser

Attachment: signature.asc
Description: OpenPGP digital signature

References:
- c/c++ validator
  - From: Tommy Vercetti

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]