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

Posts

Technologies used in the PVS-Studio code analyzer for finding bugs and potential vulnerabilities
Andrey Karpov
A brief description of technologies used in the PVS-Studio tool, which let us effectively detect a large number of error patterns and potential vulnerabilities. The article describes...
...
20 Nov 2018
NCBI Genome Workbench: Scientific Research under Threat
Sviatoslav Razmyslov
Modern computer technologies, hardware and software solutions all make it much easier and faster for us to do various kinds of scientific research. Computer simulation is often the only way to...
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
12 Nov 2018
What Errors Lurk in Infer.NET Code?
Sergey Vasiliev
Posting of projects sources by Microsoft is a good reason to perform their analysis. This time is no exception and today we will look at suspicious places, found in Infer.NET code. Down with...
...
25 Oct 2018
Wrap on integer overflow is not a good idea
Davin McCall
A discussion of undefined behaviour and compiler optimisation, particularly in regards to signed integer...
...
23 Oct 2018
PVS-Studio Now Supports GNU Arm Embedded Toolchain
Yuri Minaev
Embedded systems have been around for a long time. It is paramount that they should be stable and reliable, and fixing bugs in them is extremely costly. That's why embedded developers benefit...
...
22 Oct 2018
How PVS-Studio Proved to Be More Attentive Than Three and a Half Programmers
Andrey Karpov
Just like other static analyzers, PVS-Studio often produces false positives. What you are about to read is a short story where I'll tell you how PVS-Studio proved, just one more time, to be...
...
19 Oct 2018
LibreOffice: Accountant's Nightmare
Sviatoslav Razmyslov
LibreOffice is a powerful Office package, which is free for private, educational and commercial use. Programmers working on it, develop a wonderful product that is used in many areas as...
...
18 Oct 2018
PVS-Studio 6.26 Released
Andrey Karpov
Normally we don't write notes about a release of the new version of PVS-Studio. However, this new release included many interesting improvements related to analysis of C and C++ code, about...
...
15 Oct 2018
How to write more reliable code
Egor Bredikhin
Conference: Meeting C++ 2018 The talk refers to issues of writing high quality code in C++. It touches upon various patterns of errors and the ways how to avoid them due to good coding standard, new features in the C++ language, static and dynamic analysis.
...
15 Oct 2018
A Third Check of Qt 5 with PVS-Studio
Andrey Karpov
Every now and then, we re-check projects that we already checked and mentioned in our articles in the past. Qt is one of them. The last time we checked it with PVS-Studio was in 2014. Starting...
...
View more Pagination arrow previous
Showing: - of 1605