From owner-freebsd-hackers@FreeBSD.ORG  Sat Apr  8 13:46:46 2006
Return-Path: <owner-freebsd-hackers@FreeBSD.ORG>
X-Original-To: hackers@freebsd.org
Delivered-To: freebsd-hackers@FreeBSD.ORG
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 5DCDE16A400
	for <hackers@freebsd.org>; Sat,  8 Apr 2006 13:46:46 +0000 (UTC)
	(envelope-from e.schuele@computer.org)
Received: from sccrmhc13.comcast.net (sccrmhc13.comcast.net [63.240.77.83])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 07AF443D45
	for <hackers@freebsd.org>; Sat,  8 Apr 2006 13:46:45 +0000 (GMT)
	(envelope-from e.schuele@computer.org)
Received: from [192.168.214.215]
	(c-24-1-232-64.hsd1.tx.comcast.net[24.1.232.64])
	by comcast.net (sccrmhc13) with ESMTP
	id <20060408134644013001var3e>; Sat, 8 Apr 2006 13:46:45 +0000
Message-ID: <4437BEC5.5020804@computer.org>
Date: Sat, 08 Apr 2006 08:46:45 -0500
From: Eric Schuele <e.schuele@computer.org>
User-Agent: Thunderbird 1.5 (X11/20060402)
MIME-Version: 1.0
To: Divacky Roman <xdivac02@stud.fit.vutbr.cz>
References: <20060406064342.GA89062@stud.fit.vutbr.cz>
In-Reply-To: <20060406064342.GA89062@stud.fit.vutbr.cz>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Cc: hackers@freebsd.org
Subject: Re: automatic checking of source code
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Technical Discussions relating to FreeBSD
	<freebsd-hackers.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>, 
	<mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>,
	<mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 08 Apr 2006 13:46:46 -0000

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