From nobody@FreeBSD.org  Sun Jul 25 00:03:53 2004
Return-Path: <nobody@FreeBSD.org>
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 1211716A4CE
	for <freebsd-gnats-submit@FreeBSD.org>; Sun, 25 Jul 2004 00:03:53 +0000 (GMT)
Received: from www.freebsd.org (www.freebsd.org [216.136.204.117])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 082C143D39
	for <freebsd-gnats-submit@FreeBSD.org>; Sun, 25 Jul 2004 00:03:53 +0000 (GMT)
	(envelope-from nobody@FreeBSD.org)
Received: from www.freebsd.org (localhost [127.0.0.1])
	by www.freebsd.org (8.12.11/8.12.11) with ESMTP id i6P03qri020722
	for <freebsd-gnats-submit@FreeBSD.org>; Sun, 25 Jul 2004 00:03:52 GMT
	(envelope-from nobody@www.freebsd.org)
Received: (from nobody@localhost)
	by www.freebsd.org (8.12.11/8.12.11/Submit) id i6P03q6n020721;
	Sun, 25 Jul 2004 00:03:52 GMT
	(envelope-from nobody)
Message-Id: <200407250003.i6P03q6n020721@www.freebsd.org>
Date: Sun, 25 Jul 2004 00:03:52 GMT
From: Seth Hallem <seth@coverity.com>
To: freebsd-gnats-submit@FreeBSD.org
Subject: Coverity provides a development tool for freebsd and should be listed
X-Send-Pr-Version: www-2.3

>Number:         69547
>Category:       www
>Synopsis:       Coverity provides a development tool for freebsd and should be listed
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    josef
>State:          closed
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Sun Jul 25 00:10:25 GMT 2004
>Closed-Date:    Sun Jul 25 23:49:23 GMT 2004
>Last-Modified:  Sun Jul 25 23:49:23 GMT 2004
>Originator:     Seth Hallem
>Release:        
>Organization:
Coverity, Inc.
>Environment:
>Description:
Coverity provides the <b><a href="http://www.coverity.com/products.html>SWAT</a></b> platform for compile time defect detection.  Coverity's products allow developers to detect a broad class of disastrous run-time failures at compile time,including buffer overruns, memory leaks, memory corruption, NULL pointer dereferences and more.  SWAT analyzes C and C++ source code with 0 Makefile changes and 0 source code changes.  The SWAT tool is available for both the production 4.x FreeBSD kernels and the development 5.x kernel.
>How-To-Repeat:
      
>Fix:
      
>Release-Note:
>Audit-Trail:
Responsible-Changed-From-To: freebsd-www->josef 
Responsible-Changed-By: simon 
Responsible-Changed-When: Sun Jul 25 16:22:44 GMT 2004 
Responsible-Changed-Why:  
Over to commercial gallery maintainer. 

http://www.freebsd.org/cgi/query-pr.cgi?pr=69547 
State-Changed-From-To: open->closed 
State-Changed-By: josef 
State-Changed-When: Sun Jul 25 23:48:53 GMT 2004 
State-Changed-Why:  
Your submission has been added to the website, 
it will be visible within 24hours, thanks.  

http://www.freebsd.org/cgi/query-pr.cgi?pr=69547 
>Unformatted: