This is the second article on avoiding certain errors at the early stage of code writing. In the previous post, we have already advised you to...
I've arrived at the source code of a widely know instant messenger Miranda IM. Together with various plugins, this is a rather large project whose...
I create the analyzer detecting errors in source code of C/C++/C++0x software. So I have to review a large amount of source code of various...
Trial for detecting 64-bit issues. The general-purpose rule set lets you detect logical errors, misprints, code fragments causing access...
I want feedback from C/C++ developers!
Programmers, meet a new tool to search for errors in source code of software written in C/C++. Within the scope of the PVS-Studio analyzer, we...
We are glad to announce the new version of the PVS-Studio 4.00. The new version of our tool includes a FREE general-purpose analyzer for...
Fist paragraph is incorrect. :( Must be: Many of those who have read my previous post "Receiving feedback from potential users" think that...
You are attentive. Yes it so. To prove it to me it is difficult. :) I have decided that so it will be better.
If I manage to repeat an error, I will describe sequence. Now I do not see an error, but I remember that for a long time there was a problem.
Many of those who have read my previous post "Receiving feedback from potential users" think that whatever we do to attract attention of potential...
It is not very easy to receive feedback from potential customers if you are just a small startup. I believe it is much easier for a large company...
Our company OOO "Program Verification Systems" develops and maintains the PVS-Studio tool intended for detecting 64-bit and parallel errors in the...
Abstract This text contains links to the best posts of the blog conducted by the workers of OOO "Program Verification Systems" company. The notes...
Surely this article is very useful. But it has become a bit obsolete by now and has some inaccuracies. To get a more detailed description of...
I am sorry for the mistake made in the description of the tool Gimpel Software PC-Lint. Version 1.0 of PC-lint was first released in May of 1985...
Abstract The article briefly describes the OpenMP technology. OpenMP OpenMP (Open Multi-Processing) is a set of compiler directives, library...
Abstract In this article, Anatoliy Kuznetsov answers the questions and tells us about the open BitMagic C++ Library. Introduction While...
Abstract Introduction Preparation before usage Description of "Mark as False Alarm" function The principle of constantly using PVS-Studio in...
Abstract The approach to comparison What is compared to what? Diagnosis of 64-bit errors Diagnosis of parallel errors Comparison results...
Separate names with a comma.