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

Posts: # Knowledge

All tags:

#Cpp #Knowledge #StaticAnalysis #Compiler
Jun 08 2020
A note of caution about using PVS-Studio on godbolt.org (Compiler Explorer)
Andrey Karpov
We have added an option allowing you to experiment with the PVS-Studio static analyzer on the godbolt.org (Compiler Explorer) website. It supports analysis of C and C++ code. We believe this to be...
...
#Knowledge
May 10 2020
C++ is faster and safer than Rust: benchmarked by Yandex
Roman
Spoiler: C++ isn't faster or slower — that's not the point, actually. This article continues our good tradition of busting myths about the Rust language shared by some big-name Russian companies.
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
* By clicking this button you agree to our Privacy Policy statement
#CSharp #Knowledge
Mar 10 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...
...
#Cpp #CSharp #Knowledge #Java
Feb 14 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...
...
#Knowledge #StaticAnalysis
Jan 16 2020
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...
...
#Knowledge #StaticAnalysis
Jul 24 2019
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...
...
#Cpp #Knowledge
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...
...
#Cpp #Knowledge
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...
...
#CSharp #Knowledge
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...
...
#Cpp #Knowledge
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...
...
View more Pagination arrow previous
1
...
6 7 8 9 10
...
14
Showing: - of 136
close form

Fill out the form in 2 simple steps below:

Your contact information:

Step 1
Congratulations! This is your promo code!

Desired license type:

Step 2
Team license
Enterprise license
* Difference between Team and Enterprise
Didn't get our email?
** By clicking this button you agree to our Privacy Policy statement
close form
Request our prices
Why do we ask to use Business Email?
New License
License Renewal
--Select currency--
USD
EUR
Didn't get our email?
* By clicking this button you agree to our Privacy Policy statement

close form
Free PVS‑Studio license for Microsoft MVP specialists
Why do we ask to use Business Email?
Didn't get our email?
* By clicking this button you agree to our Privacy Policy statement

close form
To get the licence for your open-source project, please fill out this form
Didn't get our email?
* By clicking this button you agree to our Privacy Policy statement

close form
I am interested to try it on the platforms:
Why do we ask to use Business Email?
Didn't get our email?
* By clicking this button you agree to our Privacy Policy statement

close form
check circle
Message submitted.

Your message has been sent. We will email you at


If you do not see the email in your inbox, please check if it is filtered to one of the following folders:

  • Promotion
  • Updates
  • Spam