Our website uses cookies to enhance your browsing experience.
Accept
to the top
>
>
Posts: #Knowledge

Posts: # Knowledge

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...
...
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...
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
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...
...
Jul 16 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...
...
Jun 26 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...
...
Jun 05 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...
...
Feb 04 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...
...
Jan 19 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...
...
Oct 25 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...
...
View more Pagination arrow previous
Showing: - of 153