PVS-Studio

Accueil

Posts

Errors

02 Nov 2020

How to hide the analyzer false positives?

Maxim Zvyagintsev

If you're using a static analyzer, most likely you stumble upon cases when it gets something wrong and gives false positives. So, somehow you need to tell it about an incorrect case and let a false warning go to long rest. The good news is that we have a special mechan…

...

#CSharp #Knowledge

30 Oct 2020

Check how you remember nullable value types. Let's peek under the hood

Sergey Vasiliev

Recently nullable reference types have become trendy. Meanwhile, the good old nullable value types are still here and actively used. How well do you remember the nuances of working with them...

...

Subscribe to the newsletter

Want to receive a monthly digest of the most interesting articles and news? Subscribe!

En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

#Cpp #Compiler

27 Oct 2020

Checking Clang 11 with PVS-Studio

Andrey Karpov

Every now and then, we have to write articles about how we've checked another fresh version of some compiler. That's not really much fun. However, as practice shows, if we stop doing that for...

...

22 Oct 2020

How to exclude unnecessary files from static analysis?

Maxim Zvyagintsev

Few projects can do without outside libraries and other useful ready-made solutions. However, analyzers can see the whole code and check it with abandon. That's why sometimes it's worth pointing out the spots where they should stop and analyze nothing. In this video, w…

...

#Cpp

22 Oct 2020

Checking a header-only C++ library collection (awesome-hpp)

Andrey Karpov

Somehow, we've happened to check most of the libraries making up a collection called "Awesome hpp". These are small header-only projects in C++. Hopefully, the information about the bugs we've...

...

#Cpp #GameDev

21 Oct 2020

Amnesia: The Dark Descent or how to forget to fix copy paste

Victoria Khanieva

Just before the release of the "Amnesia: Rebirth" game, the vendor "Fractional Games" opened the source code of the legendary "Amnesia: The Dark Descent" and its sequel "Amnesia: A Machine For...

...

#Cpp

19 Oct 2020

Checking the code of DeepSpeech, or why you shouldn't write in namespace std

George Gribkov

DeepSpeech is an open-source speech recognition engine developed by Mozilla. It's pretty fast and ranks high, which makes its source code an interesting target for static analysis. In this...

...

#Cpp #StaticAnalysis

16 Oct 2020

Part 2: Upsetting Opinions about Static Analyzers

Andrey Karpov

By writing the article "Upsetting opinions about static analyzers" we were supposed to get it off our chest and peacefully let it all go. However, the article unexpectedly triggered robust...

...

15 Oct 2020

How to speed up the project analysis and not to waste your time?

Maxim Zvyagintsev

Static analysis can always back you up when the time comes. But by the time it is done, you will have drunk gallons of coffee... That's why developers of these utilities are always looking for a way to make users' life easier and save time. The incremental analysis be…

...

#Marketing

13 Oct 2020

Organizing content on our blog with tags

Ekaterina Matveeva

As you know, we regularly post new content on programming and various interesting events from our company's life on our blog. The range of topics is expanding, and the number of articles is...

...