From owner-freebsd-hackers@freebsd.org Mon Oct 5 23:03:57 2015 Return-Path: Delivered-To: freebsd-hackers@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id CAAF99B994E for ; Mon, 5 Oct 2015 23:03:57 +0000 (UTC) (envelope-from jan@digitaldaemon.com) Received: from digitaldaemon.com (digitaldaemon.com [162.217.114.50]) by mx1.freebsd.org (Postfix) with SMTP id 6336FA for ; Mon, 5 Oct 2015 23:03:57 +0000 (UTC) (envelope-from jan@digitaldaemon.com) Received: (qmail 61513 invoked by uid 89); 5 Oct 2015 22:57:14 -0000 Received: from c-73-198-164-157.hsd1.nj.comcast.net (HELO ?192.168.0.6?) (jan@digitaldaemon.com@73.198.164.157) by digitaldaemon.com with SMTP; 5 Oct 2015 22:57:14 -0000 Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (1.0) Subject: Re: Which program produces FreeBSD-11.0-CURRENT-amd64-*-disc1.iso ? From: Jan Knepper X-Mailer: iPhone Mail (12H143) In-Reply-To: Date: Mon, 5 Oct 2015 18:57:13 -0400 Cc: Thomas Schmitt , "freebsd-hackers@freebsd.org" Content-Transfer-Encoding: quoted-printable Message-Id: <62905755-63CE-430E-A6AA-D3FCE3EF347A@digitaldaemon.com> References: <16694582476300143275@scdbackup.webframe.org> To: Alan Somers X-BeenThere: freebsd-hackers@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 05 Oct 2015 23:03:57 -0000 Actually... Coverity also can check Java, C#, JavaScript and Objective-C. The group I work for at the FAA uses it for C/C++ Jan ManiaC++ Jan Knepper > On Oct 5, 2015, at 17:04, Alan Somers wrote: >=20 >> On Mon, Oct 5, 2015 at 1:02 PM, Thomas Schmitt wrote:= >> Hi, >>=20 >>> the FreeBSD project has had a free Coverity account for a >>> few years now. >>=20 >> Does it also get applied to ports ? >> Especially i would be interested in my own upstream stuff: >> http://portsmon.freebsd.org/portoverview.py?category=3Ddevel&portname=3D= libburn >> http://portsmon.freebsd.org/portoverview.py?category=3Ddevel&portname=3D= libisofs >> http://portsmon.freebsd.org/portoverview.py?category=3Dsysutils&portname= =3Dxorriso >>=20 >> Meanwhile i filed >> https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D203531 >>=20 >> Problem #1 would be a candidate for Coverity. >> "Uninitialized malloc memory in timestamp of root directory." >>=20 >> The other three problems are decisions at the discretion of >> the programmer. We will have to wait a few more years before >> automats can tell us that we got the specs wrong or try to >> save a few bytes where it is not worth the hassle. >>=20 >>=20 >>> Would it be possible to get Thomas an account? >>=20 >> A list of my own errors would not really be welcome but in >> any case appreciated. :)) >>=20 >> A Coverity run over makefs would make sense if my proposals >> get implemented in some way. I hope they are safe, but one >> never knows. >>=20 >>=20 >> Have a nice day :) >>=20 >> Thomas >=20 > Nope. Coverity only runs on CURRENT. It only knows how to check C and > C++ code, so it wouldn't be very useful in ports, anyway. Thanks a > lot for the bug report! >=20 > -Alan > _______________________________________________ > freebsd-hackers@freebsd.org mailing list > https://lists.freebsd.org/mailman/listinfo/freebsd-hackers > To unsubscribe, send any mail to "freebsd-hackers-unsubscribe@freebsd.org"=