From owner-freebsd-hackers@FreeBSD.ORG Thu Apr 6 06:43:51 2006 Return-Path: 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 9405E16A41F for ; Thu, 6 Apr 2006 06:43:51 +0000 (UTC) (envelope-from xdivac02@stud.fit.vutbr.cz) Received: from eva.fit.vutbr.cz (eva.fit.vutbr.cz [147.229.10.14]) by mx1.FreeBSD.org (Postfix) with ESMTP id 3ACBD43D62 for ; Thu, 6 Apr 2006 06:43:47 +0000 (GMT) (envelope-from xdivac02@stud.fit.vutbr.cz) Received: from eva.fit.vutbr.cz (localhost [127.0.0.1]) by eva.fit.vutbr.cz (envelope-from xdivac02@eva.fit.vutbr.cz) (8.13.6/8.13.3) with ESMTP id k366hhWS089165 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Thu, 6 Apr 2006 08:43:43 +0200 (CEST) Received: (from xdivac02@localhost) by eva.fit.vutbr.cz (8.13.6/8.13.3/Submit) id k366hgAY089164 for hackers@freebsd.org; Thu, 6 Apr 2006 08:43:42 +0200 (CEST) Date: Thu, 6 Apr 2006 08:43:42 +0200 From: Divacky Roman To: hackers@freebsd.org Message-ID: <20060406064342.GA89062@stud.fit.vutbr.cz> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.4.2i X-Scanned-By: MIMEDefang 2.54 on 147.229.10.14 Cc: Subject: 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 06 Apr 2006 06:43:51 -0000 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 roman ---------------------- www.liberalnistrana.cz