From owner-freebsd-doc@freebsd.org Thu Feb 18 14:47:07 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 30A93AAD975 for ; Thu, 18 Feb 2016 14:47:07 +0000 (UTC) (envelope-from wblock@wonkity.com) Received: from wonkity.com (wonkity.com [67.158.26.137]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "wonkity.com", Issuer "wonkity.com" (not verified)) by mx1.freebsd.org (Postfix) with ESMTPS id 00CF91B2 for ; Thu, 18 Feb 2016 14:47:06 +0000 (UTC) (envelope-from wblock@wonkity.com) Received: from wonkity.com (localhost [127.0.0.1]) by wonkity.com (8.15.2/8.15.2) with ESMTPS id u1IEl53S036646 (version=TLSv1.2 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Thu, 18 Feb 2016 07:47:05 -0700 (MST) (envelope-from wblock@wonkity.com) Received: from localhost (wblock@localhost) by wonkity.com (8.15.2/8.15.2/Submit) with ESMTP id u1IEl52c036643; Thu, 18 Feb 2016 07:47:05 -0700 (MST) (envelope-from wblock@wonkity.com) Date: Thu, 18 Feb 2016 07:47:05 -0700 (MST) From: Warren Block To: Svyatoslav Razmyslov cc: Russell Haley , Fehmi Noyan ISI , Andrey Karpov , freebsd-doc@FreeBSD.org Subject: Re: Checking FreeBSD kernel with static analyzer In-Reply-To: <56C5B3D5.5090608@viva64.com> Message-ID: References: <56C48E65.8040309@viva64.com> <909922573.4701692.1455746920523.JavaMail.yahoo@mail.yahoo.com> <56C57E08.5040207@viva64.com> <20160218082452.4382803.11148.3074@gmail.com> <56C5B3D5.5090608@viva64.com> User-Agent: Alpine 2.20 (BSF 67 2015-01-07) MIME-Version: 1.0 X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.4.3 (wonkity.com [127.0.0.1]); Thu, 18 Feb 2016 07:47:06 -0700 (MST) Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8BIT X-Content-Filtered-By: Mailman/MimeDel 2.1.20 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: Thu, 18 Feb 2016 14:47:07 -0000 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 пишет: >> Svyatoslav, >> >> Is there an output format for the issue report that could be massaged in >> python or lua or the like and submitted or imported through bugzilla? CSV, >> 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. From owner-freebsd-doc@freebsd.org Thu Feb 18 16:54:28 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 908B9AAC078 for ; Thu, 18 Feb 2016 16:54:28 +0000 (UTC) (envelope-from russ.haley@gmail.com) Received: from mail-pf0-x231.google.com (mail-pf0-x231.google.com [IPv6:2607:f8b0:400e:c00::231]) (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 638276BC for ; Thu, 18 Feb 2016 16:54:28 +0000 (UTC) (envelope-from russ.haley@gmail.com) Received: by mail-pf0-x231.google.com with SMTP id e127so34357017pfe.3 for ; Thu, 18 Feb 2016 08:54:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=content-type:mime-version:content-transfer-encoding:message-id:date :subject:from:to:cc; bh=NUF5517EDH6RgMI7eif3YKKEfF0zzH5LcDuKLoCNc4s=; b=bxOHFpW4NbAMHSiDLZfKEI+i3RmDWInJjupRocdSB3pOo/C5LJieu1k+QsUOsyMMkc YVU1z395JUTdLK2B0Le/sOTJ46+0kA2KZpnviG8k54UK7Xig4EGjlSkHp711E1DcXgy9 Ej/dqmXRMjFObTFgjrUMBBC/mib5C2gTeapT/XmxD4RcGfz216rgVpldIYe6Zk0WyqIl mNlJjeI4QXgjtbSk2T+JTGo6sstel+jgKrKx/fYLLQBjGdcdhtXHHitYk+y5I99NdxsT R+3/eM6FIvp8GiYLV7GfC2EY+pQrrq/o9+phtA9aPIfQiHxt7wPdCBB6VZl6boxBL1mj cauQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:content-type:mime-version :content-transfer-encoding:message-id:date:subject:from:to:cc; bh=NUF5517EDH6RgMI7eif3YKKEfF0zzH5LcDuKLoCNc4s=; b=ZdmTzrZIOXF6TPLVn8rVYJUTKR+qA+5KLkKhj9+CFBZhhhmoZCZWAzArH4laTOFsSu 93CubjlNYeNObtheGgGavB+zEw5tRA/dFAqKIocVSs/8GlN6zOAnanwzVA0tjBwltCfE ea/8q+6zGryhPUTI4OYP/M1h1JWxA/cfxs0FdcERt+mCAuqsizOTyGdRNhgIaQo/eAQ8 BKgqED3Du1aqrpbVPMeMdtt06aLhBuuP7QHjzFSp2nccx4KHdo8kcHoXUvPZO6Wmwxa3 L9IEx5rNk7dDZcDUR/ADBmLXRV4wJLnKgs0Iq5TZyrccypyMN8pZduy2sXVy5sRe1nqv yXwA== X-Gm-Message-State: AG10YORVT5LSbO2mYI0BFC5+Sni6nrZb1bb/ni8kB9tK1ck38rm6aU2syCv8fh9/zpgNfA== X-Received: by 10.98.76.19 with SMTP id z19mr11471284pfa.78.1455814467890; Thu, 18 Feb 2016 08:54:27 -0800 (PST) Received: from [127.0.0.1] (mail.questertangent.com. [184.69.10.202]) by smtp.gmail.com with ESMTPSA id xv2sm11552539pab.10.2016.02.18.08.54.26 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 18 Feb 2016 08:54:27 -0800 (PST) Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-Mailer: BlackBerry Email (10.3.2.2876) Message-ID: <20160218165425.4382803.23287.3091@gmail.com> Date: Thu, 18 Feb 2016 08:54:25 -0800 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 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: Thu, 18 Feb 2016 16:54:28 -0000 Okay, are those false positives being documented somehow for future referen= ce? If you don't have a bug report nobody knows next time the analyzer is r= un. Or worse an hack like me is looking at the code! even a code comment mi= ght be a good idea about why it's okay? Not releasing the bug list immediately was a wise decision IMHO.=20 Svyatoslav, Is your pre-processor harness open or closed source?=E2=80=8E Russ Sent=C2=A0from=C2=A0my=C2=A0BlackBerry=C2=A010=C2=A0smartphone=C2=A0on=C2= =A0the=C2=A0Koodo=C2=A0network. =C2=A0 Original Message =C2=A0 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.org 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=20 > for you? > > 18.02.2016 11:24, Russell Haley =D0=BF=D0=B8=D1=88=D0=B5=D1=82: >> Svyatoslav, >>=20 >> Is there an output format for the issue report that could be massaged in=20 >> python or lua or the like and submitted or imported through bugzilla? CS= V,=20 >> xml, json? The mailing list stripped the attachment, although the mail direct to me=20 included it. The review has been of the text file. We can make the CSV=20 available. Automated creation of bug reports from these results might not be too=20 useful. Many are only suspected problems and turn out to be false=20 positives.