From owner-freebsd-doc@freebsd.org Fri Feb 19 07:02:20 2016 Return-Path: Delivered-To: freebsd-doc@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 A9B5DAAC59B for ; Fri, 19 Feb 2016 07:02:20 +0000 (UTC) (envelope-from russ.haley@gmail.com) Received: from mail-vk0-x234.google.com (mail-vk0-x234.google.com [IPv6:2607:f8b0:400c:c05::234]) (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 6411D1188 for ; Fri, 19 Feb 2016 07:02:20 +0000 (UTC) (envelope-from russ.haley@gmail.com) Received: by mail-vk0-x234.google.com with SMTP id c3so66412613vkb.3 for ; Thu, 18 Feb 2016 23:02:20 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=8fsOzUEfR2sqYoIaZ+I3uR3C3Hagq7ZqhcJAA0inIdI=; b=Dts8O48VW4JqLzE0OJvYrPB2FYasexLZhIiN4ePV6dOFkRuSSi7IGnVu4/9dSNzO4g 4y89prWf4rtvxXlswDaZARW7E0i6aAss/MAkOQ3DCtXozr51LXnmw+pzhDYXzEt5sUl/ jmxIPvlWSUgxf+CdwoLWF39CMYY6kS/e+WaTL0Y7Bg++75ccpBWxOShzzNZ7xBvn4w1k IKGb7Qs+vjT6sdR2j8VnMYTQBtS53i8YEAHafJcEzAxobRQj59WCA2cdhFZNDYpiUzlw wqqQZNROvuyAK1W77lEmeXahUnSy6VXUroQAAubbenR2VxoAMKnU1camYfuPmPwWvRFb fl3A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=8fsOzUEfR2sqYoIaZ+I3uR3C3Hagq7ZqhcJAA0inIdI=; b=ICfUWgvbZdeCICxvlcYp5cNQgkxPDiCn/9i8eJXa6763lbCRtpyyHQkcE5Y4hFbV3h u2vdNluw7UkcT7ADqkpvNakFlTvAmiM/FZUboyuLO6oksMCOXHjO9KnKRR9HuXsvsaNj 9NAbRJ4KynMWiwMyVodkMICUIx2z35i40Y1Zz6dl/9XxbXgpCkzRbUFLORGxRLzIpBE3 gLnRCKeyNC9Uy7jgSsoexiBiONeODcU/tb7yDNK6GS6yZOdnaZOSWNf6eY2V2EtNEHTc BWGxFq68aGxflrQp45H3ot2D7SnwXlTCbBHejEYMjf+pdDVXHBMs38l3RBET6HSRq3Ve iWYA== X-Gm-Message-State: AG10YOSsfcPd4q5I7wuzOXduhn3PAPqnZoovPXpxRE88TR4WlgfW2KX/jjdxetRo0eGJWjLZ8tfml5nLOsxqjw== MIME-Version: 1.0 X-Received: by 10.31.45.143 with SMTP id t137mr9292281vkt.143.1455865339517; Thu, 18 Feb 2016 23:02:19 -0800 (PST) Received: by 10.31.54.13 with HTTP; Thu, 18 Feb 2016 23:02:19 -0800 (PST) In-Reply-To: <20160218165425.4382803.23287.3091@gmail.com> References: <20160218165425.4382803.23287.3091@gmail.com> Date: Thu, 18 Feb 2016 23:02:19 -0800 Message-ID: Subject: Re: Checking FreeBSD kernel with static analyzer From: Russell Haley To: Warren Block , Svyatoslav Razmyslov Cc: Fehmi Noyan ISI , Andrey Karpov , freebsd-doc@freebsd.org Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: freebsd-doc@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: Documentation project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 19 Feb 2016 07:02:20 -0000 Thanks warren, send me the csv when you get a chance. I'd really appreciate it. You implied in previous emails that there is a larger discussion going on about reviewing the data. Is there a public chat anywhere? I see this as an excellent learning tool for studying the code. Thanks, Russ On Thu, Feb 18, 2016 at 8:54 AM, Russell Haley wrote= : > Okay, are those false positives being documented somehow for future refer= ence? If you don't have a bug report nobody knows next time the analyzer is= run. Or worse an hack like me is looking at the code! even a code comment = might be a good idea about why it's okay? > > Not releasing the bug list immediately was a wise decision IMHO. > > Svyatoslav, Is your pre-processor harness open or closed source?=E2=80=8E > > Russ > > Sent from my BlackBerry 10 smartphone on the Koodo network. > Original Message > From: Warren Block > Sent: Thursday, February 18, 2016 6:47 AM > To: Svyatoslav Razmyslov > Cc: Russell Haley; Fehmi Noyan ISI; Andrey Karpov; freebsd-doc@FreeBSD.or= g > Subject: Re: Checking FreeBSD kernel with static analyzer > > On Thu, 18 Feb 2016, Svyatoslav Razmyslov wrote: > >> I have sent the file in CSV format (PVS-Studio-log-freebsd.csv). Does it= work >> for you? >> >> 18.02.2016 11:24, Russell Haley =D0=BF=D0=B8=D1=88=D0=B5=D1=82: >>> Svyatoslav, >>> >>> Is there an output format for the issue report that could be massaged i= n >>> python or lua or the like and submitted or imported through bugzilla? C= SV, >>> xml, json? > > The mailing list stripped the attachment, although the mail direct to me > included it. The review has been of the text file. We can make the CSV > available. > > Automated creation of bug reports from these results might not be too > useful. Many are only suspected problems and turn out to be false > positives.