From owner-freebsd-current@freebsd.org Fri Apr 7 22:40:22 2017 Return-Path: Delivered-To: freebsd-current@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 ACA3AD33EB7 for ; Fri, 7 Apr 2017 22:40:22 +0000 (UTC) (envelope-from wlosh@bsdimp.com) Received: from mail-it0-x233.google.com (mail-it0-x233.google.com [IPv6:2607:f8b0:4001:c0b::233]) (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 75D508A2 for ; Fri, 7 Apr 2017 22:40:22 +0000 (UTC) (envelope-from wlosh@bsdimp.com) Received: by mail-it0-x233.google.com with SMTP id y18so1788081itc.1 for ; Fri, 07 Apr 2017 15:40:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=bsdimp-com.20150623.gappssmtp.com; s=20150623; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc; bh=yaXP3fNK38gP6teKjgMfuuZl2hA3mAYoardld7uCECA=; b=YBefxW+8hdfa8+354JxvEkZmBazjMD5+bTn4NQeseE8ZsS2gLMTES23/HxjtPCLhbl alCRAlpqO4VgbOonWekHbrLtZPhT3gyM8OiPl65a9HVPTew6OOuXKUfRdypOsKIObq7L RX5lfhTZ6/JZqOI/j5YY2lv36ruHMb4CqOquH39sNZoUUGYCp754srzDq1KaaU1M84Ml /9zcBsj/eDtnTqBp40u71xkwlRrjaiOyrLL8s3jI1NKGdSLzXaX1WqatRL6XvESbH2Mb LYgyLAcXuNzYqwhBWw8Xv89yY/0/g8gW5V/fni9IP70el2dOet52pga1mC3NEKuFSn26 VLWg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:in-reply-to:references:from :date:message-id:subject:to:cc; bh=yaXP3fNK38gP6teKjgMfuuZl2hA3mAYoardld7uCECA=; b=VofGpRB+ve1EB3ROAVqfcq12O4+eXmfHUo4EQt6+/DNai3Qlhpihj3knE6KRotJ4Xe pelo4rZOSN0oSSvMNoLPk2WSBcd7uP7fR5D+KVPWtNJmt+AcbcBP4cNLQBYouGvKLrmW ij2gwpg1240pa+/cTMZE09msfK8PA8qO7RNlTnOylGm0feUs5T2U+G3w0W399cHutvZe cDODlig0zp7/0x07jYH+qOFsXRg0vFWfokRNloQQyTAh+73ehNjOKIoehuLqhNRiBQdA IZakhJ2hbXMeF5wvd/+g1HoJsq+CfegKX/xsYb70DvTTN9JFf9kHIVBry3f6AR4s8vR6 C9Og== X-Gm-Message-State: AN3rC/68sV2ebK5L8XlojuIMVFJKOU8PRM4QyZGYWFM+VFxmBeV4E9AB AEf/8wvEtPboyBsm82/P/5cIgfTMAA== X-Received: by 10.36.44.14 with SMTP id i14mr1848276iti.103.1491604821658; Fri, 07 Apr 2017 15:40:21 -0700 (PDT) MIME-Version: 1.0 Sender: wlosh@bsdimp.com Received: by 10.79.146.24 with HTTP; Fri, 7 Apr 2017 15:40:21 -0700 (PDT) X-Originating-IP: [2607:fb10:7021:1::b517] In-Reply-To: References: From: Warner Losh Date: Fri, 7 Apr 2017 16:40:21 -0600 X-Google-Sender-Auth: VpJx-FDTFyu63_PV6N1xlNn63pE Message-ID: Subject: Re: PVS-Studio Analyzer Spots Bugs In the FreeBSD 2017 edition To: Tommi Pernila Cc: freebsd-current Content-Type: text/plain; charset=UTF-8 X-BeenThere: freebsd-current@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Discussions about the use of FreeBSD-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 07 Apr 2017 22:40:22 -0000 On Fri, Apr 7, 2017 at 3:50 PM, Tommi Pernila wrote: > Hi all, > > just a heads up if you haven't yet seen this blog post from Andrey Karpov > from PVS-Studio. > It's a quite a long read. > https://www.viva64.com/en/b/0496/ > > Here's a few highlights (with some paraphrasing). > >>PVS-Studio fixed errors where it's clear how to fix them without digging > deep into the algorithms. >>That's why FreeBSD authors should really do a deeper analysis themselves, >>not just review that limited number of errors that we presented. > >>Andrey Karpov is ready to provide a temporary license key and also help to > eliminate false positives that may hinder their work. > > Anyone up for this task? There's folks that have contacted him. It's not quite as simple as he said in his post to give access to a run, since they need to filter things appropriately. It should be published next week, we're told, so we can make easy use of the results. Warner