On Fri, Feb 19, 2016 at 8:22 AM, Warren Block wrote:
> On Thu, 18 Feb 2016, Russell Haley wrote:
>
>> Thanks warren, send me the csv when you get a chance. I'd really
>> appreciate it. You implied in previous emails that there is a larger
>> discussion going on about reviewing the data. Is there a
On Thu, 18 Feb 2016, Russell Haley wrote:
Thanks warren, send me the csv when you get a chance. I'd really
appreciate it. You implied in previous emails that there is a larger
discussion going on about reviewing the data. Is there a public chat
anywhere? I see this as an excellent learning tool
Russ
Sent from my BlackBerry 10 smartphone on the Koodo network.
Original Message
From: Warren Block
Sent: Thursday, February 18, 2016 6:47 AM
To: Svyatoslav Razmyslov
Cc: Russell Haley; Fehmi Noyan ISI; Andrey Karpov; freebsd-doc@FreeBSD.org
Subject: Re: Checking FreeBSD kernel with static anal
Original Message
> From: Warren Block
> Sent: Thursday, February 18, 2016 6:47 AM
> To: Svyatoslav Razmyslov
> Cc: Russell Haley; Fehmi Noyan ISI; Andrey Karpov; freebsd-doc@FreeBSD.org
> Subject: Re: Checking FreeBSD kernel with static analyzer
>
> On Thu, 18 Feb 2016, Svyatosl
sell Haley; Fehmi Noyan ISI; Andrey Karpov; freebsd-doc@FreeBSD.org
Subject: Re: Checking FreeBSD kernel with static analyzer
On Thu, 18 Feb 2016, Svyatoslav Razmyslov wrote:
> I have sent the file in CSV format (PVS-Studio-log-freebsd.csv). Does it work
> for you?
>
> 18.02.2016 11:2
On Thu, 18 Feb 2016, Svyatoslav Razmyslov wrote:
I have sent the file in CSV format (PVS-Studio-log-freebsd.csv). Does it work
for you?
18.02.2016 11:24, Russell Haley пишет:
Svyatoslav,
Is there an output format for the issue report that could be massaged in
python or lua or the like and s
On Wed, 17 Feb 2016, Fehmi Noyan ISI via freebsd-doc wrote:
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.
Developers ha
bugzilla? CSV, xml, json?
Thanks
Russ
Sent from my BlackBerry 10 smartphone on the Koodo network.
Original Message
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
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
has already detected at least 9355 bugs in open source pro
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
slo
; freebsd-doc@FreeBSD.org;
wbl...@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 develo
AM
To: Russell Haley
Cc: Warren Block; freebsd-doc@freebsd.org; wbl...@freebsd.org
Subject: Re: Checking FreeBSD kernel with static analyzer
Russell Haley writes:
> Any chance you can divulge how you calculated that?
In a git clone of the same repo:
% git show -s 46763fd4ca8a37f836c9bf2333f9d687
Added, thanks!
On Wed, 17 Feb 2016, Svyatoslav Razmyslov wrote:
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 a
Russell Haley writes:
> Any chance you can divulge how you calculated that?
In a git clone of the same repo:
% git show -s 46763fd4ca8a37f836c9bf2333f9d687509278f3
commit 46763fd4ca8a37f836c9bf2333f9d687509278f3
Author: mmel
Date: Thu Feb 4 06:39:20 2016 +
ARM: Remove unused symbols
@freebsd.org;
wbl...@freebsd.org
Subject: Re: Checking FreeBSD kernel with static analyzer
Svyatoslav Razmyslov writes:
> 46763fd4ca8a37f836c9bf2333f9d687509278f3
Thank you, that corresponds to svn revision r295235.
DES
--
Dag-Erling Smørgrav - d...@des
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 , describing the most
suspicious fragments.
http://www.vi
Svyatoslav Razmyslov writes:
> 46763fd4ca8a37f836c9bf2333f9d687509278f3
Thank you, that corresponds to svn revision r295235.
DES
--
Dag-Erling Smørgrav - d...@des.no
___
freebsd-doc@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/f
46763fd4ca8a37f836c9bf2333f9d687509278f3
16.02.2016 21:17, Dag-Erling Smørgrav пишет:
Svyatoslav Razmyslov writes:
I downloaded the source code with the command "git clone
https://github.com/freebsd/freebsd.git"; (master branch). If you need
additional information, please, send the necessary c
Svyatoslav Razmyslov writes:
> I downloaded the source code with the command "git clone
> https://github.com/freebsd/freebsd.git"; (master branch). If you need
> additional information, please, send the necessary commands for Git
> and I'll send you the result.
Can you please show the result of "
the
subversion revision.
Russ
Sent from my BlackBerry 10 smartphone on the Koodo network.
Original Message
From: Warren Block
Sent: Sunday, February 14, 2016 10:36 AM
To: Svyatoslav Razmyslov
Cc: Andrey Karpov; freebsd-doc@FreeBSD.org; wbl...@freebsd.org
Subject: Re: Checking FreeBSD kernel with
D.org; wbl...@freebsd.org
> Subject: Re: Checking FreeBSD kernel with static analyzer
>
> On Thu, 11 Feb 2016, Svyatoslav Razmyslov wrote:
>
>> Hi, Warren.
>>
>> I used GitHub repository: https://github.com/freebsd/freebsd
>> git branch: master
>>
>> For
; freebsd-doc@FreeBSD.org; wbl...@freebsd.org
Subject: Re: Checking FreeBSD kernel with static analyzer
On Thu, 11 Feb 2016, Svyatoslav Razmyslov wrote:
> Hi, Warren.
>
> I used GitHub repository: https://github.com/freebsd/freebsd
> git branch: master
>
> For command: "gi
On Thu, 11 Feb 2016, Svyatoslav Razmyslov wrote:
Hi, Warren.
I used GitHub repository: https://github.com/freebsd/freebsd
git branch: master
For command: "git rev-list HEAD --count", verified revision is 217717.
Sorry, is that a Subversion revision number? 217717 in our Subversion
reposito
Hi, Warren.
I used GitHub repository: https://github.com/freebsd/freebsd
git branch: master
For command: "git rev-list HEAD --count", verified revision is 217717.
10.02.2016 21:47, Warren Block пишет:
On Wed, 10 Feb 2016, Svyatoslav Razmyslov wrote:
Hi, Warren.
The analysis report (filtere
On Wed, 10 Feb 2016, Svyatoslav Razmyslov wrote:
Hi, Warren.
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
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 (repla
Hi, Warren.
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
On Wed, 10 Feb 2016, Svyatoslav Razmyslov wrote:
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.
Re
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 pla
29 matches
Mail list logo
