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. Lexer - 29.04

>
>
Posts: #Knowledge

Posts: # Knowledge

10 Mar 2020
Detecting the incorrect double-checked locking using the V3054 diagnostic
Andrey Karpov
The PVS-Studio analyzer can detect incorrect variants of the "double-checked locking" pattern implementation in C# programs. Sometimes users are not aware of the danger in the code indicated by...
...
14 Fév 2020
Zero, one, two, Freddy's coming for you
Andrey Karpov
This post continues the series of articles, which can well be called "horrors for developers". This time it will also touch upon a typical pattern of typos related to the usage of...
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
Machine learning in static analysis of program source code
Andrey Karpov, Victoria Khanieva
Machine learning has firmly entrenched in a variety of human fields, from speech recognition to medical diagnosing. The popularity of this approach is so great that people try to use it wherever...
...
What's the Use of Dynamic Analysis When You Have Static Analysis?
Ilya Gainulin
In order to verify the quality of software, you have to use a lot of different tools, including static and dynamic analyzers. In this article, we'll try to figure out why only one type of...
...
16 Jul 2019
On the Difference Between strlcat and strncat
Sviatoslav Razmyslov
While we are working hard on writing big articles on code check of the Haiku operating system, I'd like to give an example of an often found error with strncat function taken from that project...
...
26 Jui 2019
The dangers of using multi-character constants
Sviatoslav Razmyslov
During code analysis, PVS-Studio analyzes the data flow and operates variable values. Values are taken from constants or derived from conditional expressions. We call them virtual values...
...
05 Jui 2019
Nullable Reference types in C# 8.0 and static analysis
Alexander Senichkin, Paul Eremeev
It's not a secret that Microsoft has been working on the 8-th version of C# language for quite a while. The new language version (C# 8.0) is already available in the recent release of Visual...
...
04 Fév 2019
Sixth Chromium Check, Afterword
Andrey Karpov
At the beginning of 2018 our blog was complemented with a series of articles on the sixth check of the source code of the Chromium project. The series includes 8 articles on errors...
...
19 Jan 2019
Social networking services for developers
Yulia Khushnamova
This article contains the list of links to the interesting blogs in various social networks. We had to choose mainly those that focus on C++, C# and Java developers because of the tech stack our...
...
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...
...
View more Pagination arrow previous
Showing: - of 164