From owner-freebsd-hackers@freebsd.org Mon Oct 5 23:48:50 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 2326E9B9DBC for ; Mon, 5 Oct 2015 23:48:50 +0000 (UTC) (envelope-from asomers@gmail.com) Received: from mail-ob0-x232.google.com (mail-ob0-x232.google.com [IPv6:2607:f8b0:4003:c01::232]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id DE87D7D3; Mon, 5 Oct 2015 23:48:49 +0000 (UTC) (envelope-from asomers@gmail.com) Received: by obbbh8 with SMTP id bh8so141588396obb.0; Mon, 05 Oct 2015 16:48:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc:content-type; bh=unaT74T5BNDpWW/ptIgnlALxNo1GLCIcwwN8V7KITd0=; b=S1AuOiXNLLFWaRuQV+1awNYmpuIazENiUu/yUzu7nOcYdX6RHCakIwnAi1BslrBrd7 /P0//qE3FVo17KX7ldplYaQ94Kktn4QzuCXL/JsK4WOc8qRHHFtrfg+kNvuKh17OxMdn teE1CVSfTFwDExAx7abAXvghvs3mKV5WdrMZz083KJLzqmnNgND7g44p7i9qgsDd+jG3 gpsdnPJSMUWGxn/Yjlfpf7pDGMWWhgCIRjJE//xca8Muwregsq1Q7b0nMznf65qmBW+F CjPDZy6AhdTZmXcum8Fkq8IVrJO0757ilXhY1djz86mKtcuUCtmhFW49M23qtBOE/1uc bE1A== MIME-Version: 1.0 X-Received: by 10.182.65.164 with SMTP id y4mr18505401obs.65.1444088929168; Mon, 05 Oct 2015 16:48:49 -0700 (PDT) Sender: asomers@gmail.com Received: by 10.202.71.6 with HTTP; Mon, 5 Oct 2015 16:48:49 -0700 (PDT) In-Reply-To: <62905755-63CE-430E-A6AA-D3FCE3EF347A@digitaldaemon.com> References: <16694582476300143275@scdbackup.webframe.org> <62905755-63CE-430E-A6AA-D3FCE3EF347A@digitaldaemon.com> Date: Mon, 5 Oct 2015 17:48:49 -0600 X-Google-Sender-Auth: vjxwytO7FIcB8cg4OAJIBnfnX9c Message-ID: Subject: Re: Which program produces FreeBSD-11.0-CURRENT-amd64-*-disc1.iso ? From: Alan Somers To: Jan Knepper Cc: Alan Somers , Thomas Schmitt , "freebsd-hackers@freebsd.org" Content-Type: text/plain; charset=UTF-8 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:48:50 -0000 Well, yes you are correct. I should've said, "of the languages in use by FreeBSD, Coverity can only check C and C++". The Ports tree is mostly makefiles. -Alan On Mon, Oct 5, 2015 at 4:57 PM, Jan Knepper wrote: > 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: >> >>> On Mon, Oct 5, 2015 at 1:02 PM, Thomas Schmitt wrote: >>> Hi, >>> >>>> the FreeBSD project has had a free Coverity account for a >>>> few years now. >>> >>> Does it also get applied to ports ? >>> Especially i would be interested in my own upstream stuff: >>> http://portsmon.freebsd.org/portoverview.py?category=devel&portname=libburn >>> http://portsmon.freebsd.org/portoverview.py?category=devel&portname=libisofs >>> http://portsmon.freebsd.org/portoverview.py?category=sysutils&portname=xorriso >>> >>> Meanwhile i filed >>> https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=203531 >>> >>> Problem #1 would be a candidate for Coverity. >>> "Uninitialized malloc memory in timestamp of root directory." >>> >>> 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. >>> >>> >>>> Would it be possible to get Thomas an account? >>> >>> A list of my own errors would not really be welcome but in >>> any case appreciated. :)) >>> >>> 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. >>> >>> >>> Have a nice day :) >>> >>> Thomas >> >> 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! >> >> -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"