From owner-freebsd-doc@freebsd.org Thu Feb 18 08:24:57 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 36290AAC6E6 for ; Thu, 18 Feb 2016 08:24:57 +0000 (UTC) (envelope-from russ.haley@gmail.com) Received: from mail-pf0-x22d.google.com (mail-pf0-x22d.google.com [IPv6:2607:f8b0:400e:c00::22d]) (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 08D1935C for ; Thu, 18 Feb 2016 08:24:57 +0000 (UTC) (envelope-from russ.haley@gmail.com) Received: by mail-pf0-x22d.google.com with SMTP id x65so27308364pfb.1 for ; Thu, 18 Feb 2016 00:24:57 -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:in-reply-to:references:to:cc; bh=P5FGSuyxCXmabNdA0Bnkpfn9EjhfpQfXKBAGyGBwRSo=; b=boYFfm+ICwTXDyVvcg8KxB5Gn+TqZ/5kfxVpP12ucJl+8ElYbx04JxYltLnIgZ8WCO MYVqktvIq0CbX7zyc1dwX33/7pt80rsOxx0PoFrIBjQ5OzIYRqQrIArgY4c6CrCb3z5v LEWnwuuuuNKWun7c3qna+5rocV2XmmTS/vcnwcTlMi7zz0k6J4MmErhSQwy+naqp6E55 MDmEy4HftSstS3BM+0S3z05WOLbDnPMOkommzkMJnti30983AgmKWYvZJL2YCzDDeks7 DeBT7EMnRWfrn2cXWS3cZor3kU7QUXSh2zwsq2DhoYTfKiqwszsSr3r7nLTaZ6p96PTh +tyw== 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:in-reply-to :references:to:cc; bh=P5FGSuyxCXmabNdA0Bnkpfn9EjhfpQfXKBAGyGBwRSo=; b=YO5Oqgz63S3L2dguFJH/FwvUYEqemHwomYApNQGD2SbAxvD049biaLRZYlFzrtbXQT 0+trnd3WzD126A54k1Zp3TqzK39qiFQ1F3V2M10pNgauF+EgGQ7pYR1L0nW4rcIXiF4R +6lAxm4yx2VZIRPKMLVHHjXsBfukcEKsEet8MMio9FuTwxzTgfteYJh34rfJziPIbPUe i3h2OABPtxaNB6ENN5MC1LMUooBEpIj+lNs74welU10LN+HWLpoT2jGlPmtEJz0/WUG3 KuJvEP1ezLfRTqKIVbXR6sk1uMEZDBWoBfb2ul0V1VSszen8MGNsHmVCe6Ac9M4psdaS j5AQ== X-Gm-Message-State: AG10YOTZvu+mH8RuO8PKaIPx3jszRXXuZK8uYlprm5ZGUYhBkqzHwrFKU5TxioENm+3jhA== X-Received: by 10.98.86.8 with SMTP id k8mr8124410pfb.28.1455783896714; Thu, 18 Feb 2016 00:24:56 -0800 (PST) Received: from [127.0.0.1] ([216.113.200.184]) by smtp.gmail.com with ESMTPSA id k65sm8121777pfb.30.2016.02.18.00.24.54 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 18 Feb 2016 00:24:56 -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: <20160218082452.4382803.11148.3074@gmail.com> Date: Thu, 18 Feb 2016 00:24:52 -0800 Subject: Re: Checking FreeBSD kernel with static analyzer From: Russell Haley In-Reply-To: <56C57E08.5040207@viva64.com> References: <56C48E65.8040309@viva64.com> <909922573.4701692.1455746920523.JavaMail.yahoo@mail.yahoo.com> <56C57E08.5040207@viva64.com> To: Svyatoslav Razmyslov , Fehmi Noyan ISI Cc: 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 08:24:57 -0000 Svyatoslav, Is there an output format for the issue report that could be massaged in py= thon or lua or the like and submitted or imported through bugzilla? CSV, xm= l, json? Thanks 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: Svyatoslav Razmyslov Sent: Thursday, February 18, 2016 12:17 AM To: Fehmi Noyan ISI Cc: Andrey Karpov; freebsd-doc@FreeBSD.org Subject: Re: Checking FreeBSD kernel with static analyzer Unfortunately, we don't have enough resources to do that. Our small team=20 has already detected at least 9355 bugs in open source projects, besides=20 that we are still busy developing the PVS-Studio tool. Additionally, the=20 code of these projects is unfamiliar to us and we will work with it much=20 slower that the authors of these projects. Consequently, to delve into=20 each case and give a detailed correct description we'll have to have a=20 special department for it. That's why at this point we can only help the=20 projects by writing articles, providing the check logs and temporary=20 keys for a thorough project check. 18.02.2016 1:08, Fehmi Noyan ISI =D0=BF=D0=B8=D1=88=D0=B5=D1=82: > Hi Svyatoslav, > > Seems like an interesting report! > > Wonder if all those findings will be submitted in the form of bug=20 > reports or email to individual developers working on the particular=20 > project that the bug is addressed. > --=20 Svyatoslav Razmyslov "Program Verification Systems" (Co Ltd) _______________________________________________ freebsd-doc@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-doc To unsubscribe, send any mail to "freebsd-doc-unsubscribe@freebsd.org"