From owner-freebsd-doc@freebsd.org Wed Feb 10 09:41:09 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 005E3AA494B for ; Wed, 10 Feb 2016 09:41:09 +0000 (UTC) (envelope-from razmyslov@viva64.com) Received: from s24sixth.in-solve.ru (s24sixth.in-solve.ru [81.177.160.5]) by mx1.freebsd.org (Postfix) with ESMTP id 63B8A1F8B for ; Wed, 10 Feb 2016 09:41:07 +0000 (UTC) (envelope-from razmyslov@viva64.com) Received: from Spooler by s24sixth.in-solve.ru (Mercury/32 v4.52) ID MO002ECE; 10 Feb 2016 12:41:08 +0300 Received: from spooler by mail.in-solve.hidden (Mercury/32 v4.52); 10 Feb 2016 12:20:49 +0300 Received: from mail.in-solve.hidden (10.0.1.27) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG002ECD; 10 Feb 2016 12:20:44 +0300 Received: from Spooler by mail.in-solve.hidden (Mercury/32 v4.52) ID MO00440F; 10 Feb 2016 12:20:44 +0300 Received: from spooler by mail.in-solve.hidden (Mercury/32 v4.52); 10 Feb 2016 12:20:33 +0300 Received: from [192.168.1.87] (91.206.72.109) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG00440E; 10 Feb 2016 12:20:33 +0300 To: freebsd-doc@FreeBSD.org Cc: Andrey Karpov From: Svyatoslav Razmyslov Subject: Checking FreeBSD kernel with static analyzer Message-ID: <56BB00C3.5060309@viva64.com> Date: Wed, 10 Feb 2016 12:20:03 +0300 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit 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: Wed, 10 Feb 2016 09:41:09 -0000 Hello! I'm an employee of "Program Verification Systems" company. We develop a static code analyzer PVS-Studio for C/C++/C# languages. To demonstrate the capabilities of our analyzer, we regularly perform analysis of open source projects. Recently we’ve checked FreeBSD kernel and now are planning to write an article with examples of errors which we found. You can find a list of articles, where we write about check reports of other open-source projects on our web-page - http://www.viva64.com/en/a/0084/. Official site of the analyzer - http://www.viva64.com/en/pvs-studio/ We can also provide a full check report by PVS-Studio if needed. Could you also help to distribute the article by posting this news on your web-site? -- Svyatoslav Razmyslov "Program Verification Systems" (Co Ltd)