Date: Wed, 17 Feb 2016 22:08:40 +0000 (UTC) From: Fehmi Noyan ISI <fnoyanisi@yahoo.com> To: Svyatoslav Razmyslov <razmyslov@viva64.com> Cc: Andrey Karpov <karpov@viva64.com>, "freebsd-doc@FreeBSD.org" <freebsd-doc@FreeBSD.org> Subject: Re: Checking FreeBSD kernel with static analyzer Message-ID: <909922573.4701692.1455746920523.JavaMail.yahoo@mail.yahoo.com> In-Reply-To: <56C48E65.8040309@viva64.com> References: <56C48E65.8040309@viva64.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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.
From: Svyatoslav Razmyslov <razmyslov@viva64.com>
To: Warren Block <wblock@wonkity.com>
Cc: Andrey Karpov <karpov@viva64.com>; freebsd-doc@FreeBSD.org; wblock@FreeBSD.org
Sent: Thursday, February 18, 2016 4:14 AM
Subject: Re: Checking FreeBSD kernel with static analyzer
Hi, Warren.
We've published the article on our site, here is the message from our PR:
Analysis of FreeBSD kernel by PVS-Studio.
The development team of PVS-Studio static code analyzer checked FreeBSD
OS kernel and published an article <link here>, describing the most
suspicious fragments.
http://www.viva64.com/en/b/0377/
Thanks!
10.02.2016 19:55, Warren Block пишет:
> On Wed, 10 Feb 2016, Svyatoslav Razmyslov wrote:
>
>> The analysis report (filtered for most interesting messages) is
>> attached, you can use it without any restrictions. To use the report,
>> please append the beginning of the paths to files with the path to a
>> directory containing kernel sources (replace |?| in case of csv).
>>
>> Our article itself will be ready approximately in a week, we well
>> appreciate if you could post about it in a news section on
>> www.freebsd.org.
>
> Please notify me or the freebsd-doc mailing list when the article is
> ready.
>
> Thanks!
>
--
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"
From owner-freebsd-doc@freebsd.org Thu Feb 18 04:15:53 2016
Return-Path: <owner-freebsd-doc@freebsd.org>
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 29481AAB74C
for <freebsd-doc@mailman.ysv.freebsd.org>;
Thu, 18 Feb 2016 04:15:53 +0000 (UTC)
(envelope-from paschaabashintest@yandex.kz)
Received: from forward18j.cmail.yandex.net (forward18j.cmail.yandex.net
[IPv6:2a02:6b8:0:1630::f5])
(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
(Client CN "forwards.mail.yandex.net", Issuer "Yandex CA" (verified OK))
by mx1.freebsd.org (Postfix) with ESMTPS id DE73ED5
for <freebsd-doc@freebsd.org>; Thu, 18 Feb 2016 04:15:52 +0000 (UTC)
(envelope-from paschaabashintest@yandex.kz)
Received: from web1j.yandex.ru (web1j.yandex.ru [5.45.198.42])
by forward18j.cmail.yandex.net (Yandex) with ESMTP id DDCC421886
for <freebsd-doc@freebsd.org>; Thu, 18 Feb 2016 07:15:39 +0300 (MSK)
Received: from web1j.yandex.ru (localhost [127.0.0.1])
by web1j.yandex.ru (Yandex) with ESMTP id 64E7F2181AC3;
Thu, 18 Feb 2016 07:15:39 +0300 (MSK)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yandex.ru; s=mail;
t55768939; bh=3P/6b0s+t8cSkyTGhXiuS6msSayf33CbZWKxm595lLw=;
h=From:To:Subject:Date;
b=GpCPbw0kpGUTU0kUDHdnYE8uARjkJ43NHDcfGwrZyTC2/Vb5wnqamz+OL+aD+ZjP3
TrOGRhioQ5hN5BzCEpRRz69i18yfPs4EpTw2GGhZX1ibV7GDbh1h3pY2tyXNSRlQb5
eciAtyUSIU22tGHhu7q1RsN0eGU6Aqv92mTTh4eYReceived: by web1j.yandex.ru with HTTP;
Thu, 18 Feb 2016 07:15:39 +0300
From: paschaabashintest@yandex.kz
Envelope-From: paschaabashintest@yandex.ru
To: freebsd-doc@freebsd.org
Subject: Mail
MIME-Version: 1.0
Message-Id: <1015121455768939@web1j.yandex.ru>
X-Mailer: Yamail [ http://yandex.ru ] 5.0
Date: Thu, 18 Feb 2016 07:15:39 +0300
Content-Transfer-Encoding: 7bit
Content-Type: text/plain
X-BeenThere: freebsd-doc@freebsd.org
X-Mailman-Version: 2.1.20
Precedence: list
List-Id: Documentation project <freebsd-doc.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-doc>,
<mailto:freebsd-doc-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-doc/>;
List-Post: <mailto:freebsd-doc@freebsd.org>
List-Help: <mailto:freebsd-doc-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-doc>,
<mailto:freebsd-doc-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 18 Feb 2016 04:15:53 -0000
It's ok?
8.8.178.111/mailarchive/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?909922573.4701692.1455746920523.JavaMail.yahoo>