Date: Sun, 25 Jul 2004 00:03:52 GMT From: Seth Hallem <seth@coverity.com> To: freebsd-gnats-submit@FreeBSD.org Subject: www/69547: Coverity provides a development tool for freebsd and should be listed Message-ID: <200407250003.i6P03q6n020721@www.freebsd.org> Resent-Message-ID: <200407250010.i6P0AP5e019954@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 69547 >Category: www >Synopsis: Coverity provides a development tool for freebsd and should be listed >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-www >State: open >Quarter: >Keywords: >Date-Required: >Class: sw-bug >Submitter-Id: current-users >Arrival-Date: Sun Jul 25 00:10:25 GMT 2004 >Closed-Date: >Last-Modified: >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: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200407250003.i6P03q6n020721>