Cody_Unicorn

Semantic Kernel is a Microsoft's SDK for integrating AI models into applications. Can PVS-Studio static analyzer find defects in the source code of a project like this? This article answers this question. Enjoy reading!

The market for modern game engines is steadily growing; more and more studios are choosing smaller engines rather than one of the two major players (or, given recent events, just one). Today, let's discuss one of the newcomers to the industry, S&Box. In this case, the newcomer isn't as simple as it seems. To learn more about the project and the errors we detected using PVS-Studio, continue reading the article.

Now it’s time to dive into grammars. What is a language, really? How can you describe it in a way that a program understands what a sequence of symbols means and what result it should produce? We’ll break it down in a clear and practical way — and, of course, get hands-on with grammars.

In this article, the author questions if C#'s rapid evolution sacrifices its elegance, asking if new features solve real problems or just add unnecessary complexity.

ScottPlot is a library under .NET for creating graphs. The code in such projects tends to be confusing in nature. Today, we'll try to unravel it and find issues using a static analyzer.

Files is a third-party file manager for Windows. Its goal is to become the best open-source OS file manager maintained by the community. In this article, we break down some bugs in Files source code and contribute to the open-source community.

Today, we talk about a bug that shows in practice how "code sausage" can cause a series of problems related to the last line effect and careless copy-paste, as well as lead to new errors.

Throughout 2025, the PVS-Studio team has been actively checking open-source C# projects. Over the year, we discovered plenty of defects. So, we picked the ten most interesting ones from this huge variety. We hope you find this roundup interesting and useful. Enjoy!

Blockchain development is a high-stakes game where code quality really matters. A single undetected bug can lead to major and sometimes irreversible financial losses. Should we really gamble on skipping a static analyzer check? Let's put it to the test by diving into the code of the Neo and NBitcoin projects.

Graphic design work requires specialized tools—graphic editors. But what if the editor crashes during a critical task due to bugs? Let's use a static analyzer to search for potential errors and unusual code patterns in the open-source PixiEditor project.