Nous utilisons des cookies pour améliorer votre expérience de navigation. En savoir plus
Accepter
to the top
>
Posts

Posts

02 Avr 2014
Archeology for Entertainment, or Checking Microsoft Word 1.1a with PVS-Studio
Andrey Karpov
The Microsoft company has recently made a present to all programmers eager to dig into some interesting stuff: they revealed the source codes of MS-DOS v 1.1, v 2.0 and Word for Windows 1.1a...
...
30 Mar 2014
Mathematicians: Trust, but Verify
Andrey Karpov
I sometimes feel quite embarrassed when examining bugs in software projects. Many of these bugs inhabit the code for many years, and you just can't help wondering how the program still manages to...
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
28 Mar 2014
PVS-Studio Now Supports Any Build System under Windows and Any Compiler. Easy and Right Out of the Box
Evgenii Ryzhkov
We're currently preparing a bomb in PVS-Studio!
...
18 Mar 2014
The Unicorn's Travel to the Microcosm
Andrey Karpov
This time it was the microcosm that brought us a few interesting bugs. We have checked the open-source project μManager with our analyzer PVS-Studio. This project is a software package for...
...
12 Mar 2014
Comparison of static code analyzers: CppCat, Cppcheck, PVS-Studio and Visual Studio
Andrey Karpov, Evgenii Ryzhkov, Paul Eremeev, Sviatoslav Razmyslov
We have carried out a thorough comparison of four analyzers for C/C++ code: CppCat, Cppcheck, PVS-Studio and Visual Studio's built-in analyzer. It is a serious, large investigation that we had...
...
12 Mar 2014
How we compared code analyzers: CppCat, Cppcheck, PVS-Studio, and Visual Studio
Andrey Karpov, Evgenii Ryzhkov, Paul Eremeev, Sviatoslav Razmyslov
We have carried out a thorough comparison of four analyzers for C/C++ code: CppCat, Cppcheck, PVS-Studio, and Visual Studio's built-in analyzer. In this article, we will discuss in detail...
...
10 Mar 2014
Another similar fragment: recordingsystem.cpp 2671A Spin-off: CryEngine 3 SDK Checked with PVS-Studio
Andrey Karpov
We have finished a large comparison of the static code analyzers Cppcheck, PVS-Studio and Visual Studio 2013's built-in analyzer. In the course of this investigation, we checked over 10...
...
03 Mar 2014
Of Rowers and Programmers, or What's in Common Between Software Development Business and Rowing
Evgenii Ryzhkov
Due to the specifics of my job, I have to communicate with programmers pretty often. Our company develops, promotes and sells self-developed software product, static code analyzer PVS-Studio...
...
28 Fév 2014
The Price of Fixing One Bug in Our Programs, or Exotic Bugs in PVS-Studio and CppCat
Evgenii Ryzhkov
One of the most frequently asked questions we get from the readers of our articles is, "Do you use your analyzer to check its own code?" We usually answer that we have a practice of checking our...
...
26 Fév 2014
An Experiment with Checking the glibc Library
Andrey Karpov
We have recently carried out an experiment with checking the glibc library by PVS-Studio. Its purpose was to study how good our analyzer is at checking Linux-projects. The basic conclusion is...
...
View more Pagination arrow previous
Showing: - of 1579