From owner-freebsd-doc@freebsd.org Thu Feb 18 08:17:37 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 5E9ECAAC3CD for ; Thu, 18 Feb 2016 08:17:37 +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 9B0021FC8 for ; Thu, 18 Feb 2016 08:17:35 +0000 (UTC) (envelope-from razmyslov@viva64.com) Received: from Spooler by s24sixth.in-solve.ru (Mercury/32 v4.52) ID MO0026E6; 18 Feb 2016 11:17:36 +0300 Received: from spooler by mail.in-solve.hidden (Mercury/32 v4.52); 18 Feb 2016 11:17:27 +0300 Received: from mail.in-solve.hidden (10.0.1.27) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG0026E5; 18 Feb 2016 11:17:24 +0300 Received: from Spooler by mail.in-solve.hidden (Mercury/32 v4.52) ID MO001B24; 18 Feb 2016 11:17:24 +0300 Received: from spooler by mail.in-solve.hidden (Mercury/32 v4.52); 18 Feb 2016 11:17:21 +0300 Received: from [192.168.1.87] (91.206.72.109) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG001B21; 18 Feb 2016 11:17:16 +0300 Subject: Re: Checking FreeBSD kernel with static analyzer To: Fehmi Noyan ISI References: <56C48E65.8040309@viva64.com> <909922573.4701692.1455746920523.JavaMail.yahoo@mail.yahoo.com> Cc: Andrey Karpov , "freebsd-doc@FreeBSD.org" From: Svyatoslav Razmyslov Message-ID: <56C57E08.5040207@viva64.com> Date: Thu, 18 Feb 2016 11:17:12 +0300 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 In-Reply-To: <909922573.4701692.1455746920523.JavaMail.yahoo@mail.yahoo.com> 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 08:17:37 -0000 Unfortunately, we don't have enough resources to do that. Our small team has already detected at least 9355 bugs in open source projects, besides that we are still busy developing the PVS-Studio tool. Additionally, the code of these projects is unfamiliar to us and we will work with it much slower that the authors of these projects. Consequently, to delve into each case and give a detailed correct description we'll have to have a special department for it. That's why at this point we can only help the projects by writing articles, providing the check logs and temporary keys for a thorough project check. 18.02.2016 1:08, Fehmi Noyan ISI пишет: > Hi Svyatoslav, > > Seems like an interesting report! > > Wonder if all those findings will be submitted in the form of bug > reports or email to individual developers working on the particular > project that the bug is addressed. > -- Svyatoslav Razmyslov "Program Verification Systems" (Co Ltd)