Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Propose a project for analysis by PVS-Studio: now on GitHub

47 views
Skip to first unread message

Andrey Karpov

unread,
Feb 8, 2017, 7:35:39 AM2/8/17
to
It's not the easiest task to check projects using a static analyzer and to write review articles, describing the bugs found. Almost always it is work of a team, not just one person. The choice of a project plays quite a significant role in it. Because this directly affects the interest of readers for an article about the project check. In this post I want to explain how you can suggest an interesting project for analysis on GitHub: http://www.viva64.com/en/b/0473/

Rick C. Hodgin

unread,
Feb 8, 2017, 12:13:45 PM2/8/17
to
On Wednesday, February 8, 2017 at 7:35:39 AM UTC-5, Andrey Karpov wrote:
> It's not the easiest task to check projects using a static analyzer and to write review articles, describing the bugs found. Almost always it is work of a team, not just one person. The choice of a project plays quite a significant role in it. Because this directly affects the interest of readers for an article about the project check. In this post I want to explain how you can suggest an interesting project for analysis on GitHub: http://www.viva64.com/en/b/0473/

You're welcome to test my project if you like. I have no doubt it has
many bugs as I've been the sole developer on almost all of it.

I use a C++ compiler, but do mostly C code.

Clone my repository into c:\ (it creates c:\libsf\ directory):

https://github.com/RickCHodgin/libsf

The project to test is here:

https://github.com/RickCHodgin/libsf/tree/master/source/vjr/projects/vs2008
c:\libsf\source\vjr\projects\vs2008\vjr.sln

You won't hurt my feelings if you do not test it. It's just an offer
to your question. The program is called "Visual FreePro, Jr." and it
provides a general forms framework used for several other projects as
well.

Thank you,
Rick C. Hodgin

Richard

unread,
Feb 8, 2017, 3:16:32 PM2/8/17
to
[Please do not mail me a copy of your followup]

Andrey Karpov <karpo...@gmail.com> spake the secret code
<e903b260-d42f-4d3e...@googlegroups.com> thusly:
I know it's C and not C++, but have you run PVS on the source of the X
Window System?
--
"The Direct3D Graphics Pipeline" free book <http://tinyurl.com/d3d-pipeline>
The Terminals Wiki <http://terminals-wiki.org>
The Computer Graphics Museum <http://computergraphicsmuseum.org>
Legalize Adulthood! (my blog) <http://legalizeadulthood.wordpress.com>

Andrey Karpov

unread,
Feb 14, 2017, 1:31:08 AM2/14/17
to
> but have you run PVS on the source of the X Window System?

No, we haven't checked X Windows System yet. Here is the full list of articles about projects that we have checked by this moment: http://www.viva64.com/en/inspections/

Richard

unread,
Feb 14, 2017, 2:46:58 PM2/14/17
to
[Please do not mail me a copy of your followup]

Andrey Karpov <karpo...@gmail.com> spake the secret code
<1cf25b33-7d3a-4c69...@googlegroups.com> thusly:
Cool.

If you want a real torturous pile of code, try iterated dynamics :)
<https://github.com/legalizeadulthood/iterated-dynamics>

It has a long heritage as a 16-bit DOS application and I know it has
many suspicious things in it. I've tried to clean up as much as I
could, but there always seems to be more :).
0 new messages