Viva64 analyze report

Bug #670088 reported by Kuzemko Aleksandr
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Cuneiform for Linux
New
Undecided
Unassigned

Bug Description

I analyse main and refactoring branch in demo version of commercial PVS-Studio. This is a static analyzer that detects errors in source code of C/C++ applications. There are 3 sets of rules included into PVS-Studio
   1. Diagnosis of 64-bit errors (Viva64) (this is interesting for me)
   2. Diagnosis of parallel errors (VivaMP)
   3. General-purpose diagnosis (is being developed currently)

The results:
-for main branch (5919 warnings) http://www.onlinedisk.ru/file/544553/
-for refactoring branch (5686 warnings) http://www.onlinedisk.ru/file/544686/
Due to demo version some of line number are hidden
The error description http://www.viva64.com/content/PVS-Studio-help-en/contents.html

Revision history for this message
Yury V. Zaytsev (zyv) wrote :
Revision history for this message
Yury V. Zaytsev (zyv) wrote :
Revision history for this message
Yury V. Zaytsev (zyv) wrote :

Why you couldn't just attach the logs here, considering that they are very small when compressed?

Revision history for this message
Kuzemko Aleksandr (kuzemkoa-rambler) wrote :

Good news.
Viva64 gives Free license for the PVS-Studio static analyzer for developers, bloggers and authors of articles in IT subject editions
"Since January, 2011, we announce the new initiative of cooperation with developers of open-source software. We can provide a free single-user 3-month license to any developer or author of articles in IT subject editions/blogs who is interested in the topic of static analysis of C/C++/C++0x source code or who just wants to check his projects and find out if they contain errors our analyzer can diagnose."
Now I use full version of the PVS-Studio. The results is attached (for refactoning branch).

Revision history for this message
Kuzemko Aleksandr (kuzemkoa-rambler) wrote :
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.