Date: Sat, 08 Apr 2006 08:46:45 -0500 From: Eric Schuele <e.schuele@computer.org> To: Divacky Roman <xdivac02@stud.fit.vutbr.cz> Cc: hackers@freebsd.org Subject: Re: automatic checking of source code Message-ID: <4437BEC5.5020804@computer.org> In-Reply-To: <20060406064342.GA89062@stud.fit.vutbr.cz> References: <20060406064342.GA89062@stud.fit.vutbr.cz>
next in thread | previous in thread | raw e-mail | index | archive | help
Divacky Roman wrote: > hi > > I just found http://mygcc.free.fr/ which is a project for automatic checking of > source code for bugs (memory leaks, unreleased locks, null pointer > dereferences). I recall there was some SoC project to achieve something > similar but this is complete and ready to run... > > it might be of some interest for someone > See thread "FreeBSD Kernel Quality?" posted 04/05/06. > roman > > > ---------------------- > www.liberalnistrana.cz > _______________________________________________ > freebsd-hackers@freebsd.org mailing list > http://lists.freebsd.org/mailman/listinfo/freebsd-hackers > To unsubscribe, send any mail to "freebsd-hackers-unsubscribe@freebsd.org" > -- Regards, Eric
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?4437BEC5.5020804>