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!=20
Wonder if all those findings will be submitted in the form of bug reports o=
r 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>=20
Cc: Andrey Karpov <karpov@viva64.com>; freebsd-doc@FreeBSD.org; wblock@Free=
BSD.org
Sent: Thursday, February 18, 2016 4:14 AM
Subject: Re: Checking FreeBSD kernel with static analyzer
=20
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=20
OS kernel and published an article <link here>, describing the most=20
suspicious fragments.
http://www.viva64.com/en/b/0377/
Thanks!
10.02.2016 19:55, Warren Block =D0=BF=D0=B8=D1=88=D0=B5=D1=82:
> On Wed, 10 Feb 2016, Svyatoslav Razmyslov wrote:
>
>> The analysis report (filtered for most interesting messages) is=20
>> attached, you can use it without any restrictions. To use the report,=20
>> please append the beginning of the paths to files with the path to a=20
>> directory containing kernel sources (replace |?| in case of csv).
>>
>> Our article itself will be ready approximately in a week, we well=20
>> appreciate if you could post about it in a news section on=20
>> www.freebsd.org.
>
> Please notify me or the freebsd-doc mailing list when the article is=20
> ready.
>
> Thanks!
>
--=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"
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;
t=1455768939; bh=3P/6b0s+t8cSkyTGhXiuS6msSayf33CbZWKxm595lLw=;
h=From:To:Subject:Date;
b=GpCPbw0kpGUTU0kUDHdnYE8uARjkJ43NHDcfGwrZyTC2/Vb5wnqamz+OL+aD+ZjP3
TrOGRhioQ5hN5BzCEpRRz69i18yfPs4EpTw2GGhZX1ibV7GDbh1h3pY2tyXNSRlQb5
eciAtyUSIU22tGHhu7q1RsN0eGU6Aqv92mTTh4eY=
Received: 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>