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

Webinar: Let's make a programming language. Part 1. Intro - 20.02

>
Posts

Posts

13 Avr 2014
Static and Dynamic Code Analysis
Andrey Karpov
As a PVS-Studio's developer, I am often asked to implement various new diagnostics in our tool. Many of these requests are based on users' experience of working with dynamic code analyzers...
...
08 Avr 2014
PVS-Studio and 3DO Emulators
Maxim Grishin
I know I promised not to touch upon the topic of 3DO console emulators anymore - well, sorry for breaking that promise. You see, I've recently had an opportunity to try such an exotic thing as...
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
07 Avr 2014
The Shortest Article about a Check of nginx
Andrey Karpov
Our readers asked us many times to check the nginx project. We already did it about a year ago and found nothing of interest. We have rechecked this project recently and again haven't found...
...
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...
...
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...
...
View more Pagination arrow previous
Showing: - of 1622