From owner-freebsd-doc@freebsd.org Sat Feb 20 02:20:31 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 7B91BAAE902 for ; Sat, 20 Feb 2016 02:20:31 +0000 (UTC) (envelope-from russ.haley@gmail.com) Received: from mail-vk0-x231.google.com (mail-vk0-x231.google.com [IPv6:2607:f8b0:400c:c05::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 360D89DE for ; Sat, 20 Feb 2016 02:20:31 +0000 (UTC) (envelope-from russ.haley@gmail.com) Received: by mail-vk0-x231.google.com with SMTP id e6so90172101vkh.2 for ; Fri, 19 Feb 2016 18:20:31 -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; bh=t3l/PACPxhr10n3L4zV5QlWHFGg4jFhFqt4iQUULcps=; b=cEgoTv58lws0gZZpNmFhML1DdNoid7HmopdliVhemAGTFGjF+iHgDrBtBJkuzjUjZU kmSTsAZUrNGU26t9fHeFy61YBTZpMjCf2fMQ/bvPTFfrhfByXurAEiAm/lS6prQfEAe8 Dh8VxWuKZqnbCZYRN/VTYsC1yc4ZzcxYjGpIqiXlzGdGbfc91rD9lppCQMaS4PZvmlX+ J2JdGO5gJhiX35vutxNezdyQL4VHFmQXS89WX8Fivojr05ggmsPlpAvvuijT8NE58aTP Eww7SieqxjZrrzIM9JZ+I06W2tul37CoDT6w1RtWgeEplTNp0RGbs52rDXywJR2x+7o7 AdvQ== 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; bh=t3l/PACPxhr10n3L4zV5QlWHFGg4jFhFqt4iQUULcps=; b=Odk+NkaAgog1yDLqFiz48br8/QlG8v1Umi8Cb22hTgYpL42/07okBtaK/Vn4tJC4Jm qc6mJGv736uQ+UhQha5N4LuW0VIVqFna8tSZbP5z45lVN8mvk7lURisF2IwV4u65A/Zg vGJ3KvPNvlGxeYO9Yt0teqi5uByfkIcKMCZN+xoA6VMCmSBVqH8JAbILlG8e8ERWxE9m krENVXfX3exhREI9BXsxEhSVdtvEJD4aqdmnb12XHroaHYtYa09XdcGfOlVatQhsZM0p kOFsrlXFNN1zikoYih2VbZvVQhg1xXbwwQCmGfx5r3Bcd0zzDXFUykulUmHFS53kqlZg o7LA== X-Gm-Message-State: AG10YOQ3w5iB9jc+1p+kxJB6Ip6wVyAjkP3MEXv/QFHbTQCq9O7lddD2SoXFfhrZvopa0fPBuoLGW1LJjm4wvA== MIME-Version: 1.0 X-Received: by 10.31.141.75 with SMTP id p72mr14033548vkd.13.1455934830279; Fri, 19 Feb 2016 18:20:30 -0800 (PST) Received: by 10.31.54.13 with HTTP; Fri, 19 Feb 2016 18:20:30 -0800 (PST) In-Reply-To: References: <20160218165425.4382803.23287.3091@gmail.com> Date: Fri, 19 Feb 2016 18:20:30 -0800 Message-ID: Subject: Re: Checking FreeBSD kernel with static analyzer From: Russell Haley To: Warren Block Cc: Svyatoslav Razmyslov , Fehmi Noyan ISI , Andrey Karpov , freebsd-doc@freebsd.org Content-Type: text/plain; charset=UTF-8 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: Sat, 20 Feb 2016 02:20:31 -0000 On Fri, Feb 19, 2016 at 8:22 AM, Warren Block wrote: > On Thu, 18 Feb 2016, Russell Haley wrote: > >> 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. > > > The code review is now open: https://reviews.freebsd.org/D5245 > > The unrestricted use original zip file supplied by PVS contained both text > and CSV report files. It is available here: > > https://people.freebsd.org/~wblock/files/PVS-Studio-log-freebsd.zip > > Thanks again to PVS for providing this! Ah, I see the "documentation" and "public chat" is happening in phabricator. Cheers, Russ