Code legacy: Analyzing Erlang′s C and C++ modules that have been running for decades Code for some Erlang/OTP modules is older than most modern junior developers. These files are the true digital patriarchs. For decades, they have made sure that banking transactions, telephone...

We decided to take a look under the hood of this long-lived language to see what exactly lies behind the lines that millions of users rely on today. In this article, let's see what we found.

pvs-studio.com/en/blog/post...

#cpp #StaticAnalysis #static_analyzer #cppprogramming #erlang #programming

#cpp #StaticAnalysis #static_analyzer #cppprogramming #Task_PVS #programming

.NET Digest #9 Welcome to the ninth part of our digest on news and events in the .NET world! We′ve got plenty of updates this time. This time, we talk about the latest previews and RC versions of .NET 10, new...

Welcome to the ninth part of our digest on news and events in the .NET world! We've got plenty of updates this time. This time, we talk about the latest previews and RC versions of .NET 10, new Visual Studio 2026, etc.

pvs-studio.com/en/blog/post...

#Dotnet #static_analyzer #Csharp #programming

#Java #StaticAnalysis #static_analyzer #Javaprogramming #Task_PVS #programming

Taint analysis in PVS-Studio C and C++ analyzer Your code accepts external data? Congratulations, and welcome to the minefield! Any unchecked user input can lead to a vulnerability, and manually finding all the tripwires in a large project is...

Your code accepts external data? Congratulations, and welcome to the minefield! But there is a "sapper"— a static analyzer. Our "sapper's" demining tool is taint analysis. This note explains how it works.

pvs-studio.com/en/blog/post...

#Cpp #StaticAnalysis #Security #static_analyzer #Cprogramming