Pull to refresh
  • by relevance
  • by date
  • by rating

Support of Visual Studio 2019 in PVS-Studio

PVS-Studio corporate blog .NET *Visual Studio *C# *Development for Windows *


Support of Visual Studio 2019 in PVS-Studio affected a number of components: the plugin itself, the command-line analyzer, the cores of the C++ and C# analyzers, and a few utilities. In this article, I will briefly explain what problems we encountered when implementing support of the IDE and how we addressed them.
Read more →
Total votes 31: ↑30 and ↓1 +29
Views 830
Comments 0

Поддержка Visual Studio 2019 в PVS-Studio

PVS-Studio corporate blog .NET *Visual Studio *C# *Development for Windows *


Поддержка Visual Studio 2019 в PVS-Studio затронула сразу несколько различных компонентов: сам плагин для IDE, command line приложение для анализа, ядра C++ и C# анализаторов, а также несколько утилит. О том, с какими проблемами мы столкнулись в ходе поддержки новой версии IDE и как их решали, я кратко расскажу в данной статье.
Читать дальше →
Total votes 43: ↑40 and ↓3 +37
Views 4.5K
Comments 10

Nullable Reference типы в C# 8.0 и статический анализ

PVS-Studio corporate blog .NET *Visual Studio *C# *Development for Windows *

Picture 9


Не секрет, что Microsoft достаточно давно работает над выпуском восьмой версии C#. В недавно состоявшемся релизе Visual Studio 2019 новая версия языка (C# 8.0) уже доступна, но пока ещё только в качестве beta релиза. В планах этой новой версии есть несколько возможностей, реализация которых может показаться не совсем очевидной, или точнее, не совсем ожидаемой. Одним из таких нововведений стала возможность использования Nullable Reference типов. Заявленным смыслом данного нововведения является борьба с Null Reference Exception'ами (NRE).
Читать дальше →
Total votes 34: ↑32 and ↓2 +30
Views 15K
Comments 8

Nullable Reference types in C# 8.0 and static analysis

PVS-Studio corporate blog .NET *Visual Studio *C# *Development for Windows *

Picture 9


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 Studio 2019, but it's still in beta. This new version is going to have a few features implemented in a somewhat non-obvious, or rather unexpected, way. Nullable Reference types are one of them. This feature is announced as a means to fight Null Reference Exceptions (NRE).
Read more →
Total votes 19: ↑18 and ↓1 +17
Views 3.2K
Comments 1

On request of Embedded Developers: Detecting Errors in Amazon FreeRTOS

PVS-Studio corporate blog Open source *System Programming *C *Programming microcontrollers *
Anyone who programs microcontrollers probably knows about FreeRTOS, or at least heard of this operating system. Amazon developers decided to enhance the abilities of this operating system to work with AWS Internet of Things services. This is how Amazon FreeRTOS appeared. We, developers of the PVS-Studio static code analyzer, were asked by mail and in comments to check these projects. Well, now get what you asked for. Keep reading to find out what came out of it.


Read more →
Total votes 27: ↑27 and ↓0 +27
Views 988
Comments 0

По заказам Embedded-разработчиков: ищем ошибки в Amazon FreeRTOS

PVS-Studio corporate blog Open source *System Programming *C *Programming microcontrollers *
Каждый, кто программирует микроконтроллеры, наверняка знает о FreeRTOS, или по крайней мере слышал об этой операционной системе. Ребята из Amazon решили расширить возможности этой операционной системы для работы с сервисами AWS Internet of Things – так появилась Amazon FreeRTOS. Нас, разработчиков анализатора кода PVS-Studio, в почте и в комментариях под статьями попросили проверить эти проекты. Что ж, вы просили – мы сделали. Что из этого получилось – читайте далее.

Рисунок 3
Читать дальше →
Total votes 58: ↑56 and ↓2 +54
Views 7.4K
Comments 18

How to climb a tree

PVS-Studio corporate blog C++ *

Picture 2

Rather, how to get down from it. But first things first. This article stands out a bit of the usual format of articles from PVS-Studio. We often write about checking other projects, but almost never lift the veil on our inner workings. It's time to rectify this omission and talk about how the analyzer is built from the inside. More precisely, about the most important of its parts — the syntax tree. The article will focus on the part of PVS-Studio that relates to the C and C++ languages.
Read more →
Rating 0
Views 755
Comments 0

Как забраться на дерево

PVS-Studio corporate blog C++ *

Picture 2

Точнее, как с него спуститься. Но обо всем по порядку. Эта статья немного выбьется из привычного формата статей от PVS-Studio. Мы часто пишем о проверке других проектов, но почти никогда не приоткрываем дверь нашей внутренней кухни. Пришло время это исправить и рассказать о том, как анализатор устроен изнутри. Точнее, о наиболее важной из его частей – синтаксическом дереве. Речь в статье пойдет о той части PVS-Studio, которая относится к языкам C и C++.
Читать дальше →
Total votes 15: ↑14 and ↓1 +13
Views 2.4K
Comments 0

Static Analysis: baseline VS diff

PVS-Studio corporate blog Programming *Perfect code *Development Management *Product Management *
Translation
If you use static analyzers, you will have, sooner or later, to address the task of making their integration into existing projects easier, where fixing all warnings on legacy code is unfeasible.

The purpose of this article is not to help with integration but rather to elaborate on the technicalities of the process: the exact implementations of warning suppression mechanisms and pros and cons of each approach.

image1.png

Read more →
Total votes 5: ↑5 and ↓0 +5
Views 585
Comments 0

Йо-хо-хо, и бутылка рому! Разбираем ошибки игрового движка Storm Engine

PVS-Studio corporate blog C++ *Game development *

PVS-Studio – это инструмент статического анализа, позволяющий находить ошибки в исходном коде программ. В качестве знакомства с возможностями анализатора вашему вниманию предлагается результат проверки PVS-Studio исходного кода игрового движка Storm Engine.

Читать далее
Total votes 10: ↑9 and ↓1 +8
Views 3.4K
Comments 4

Один день из жизни разработчика PVS-Studio, или как я отлаживал диагностику, оказавшуюся внимательнее трёх программистов

PVS-Studio corporate blog C++ *C *

Главное предназначение статических анализаторов – найти те ошибки, которые остались незамеченными разработчиком. И недавно команда PVS-Studio снова столкнулась с интересным примером мощи этой методики.

Читать далее
Total votes 32: ↑28 and ↓4 +24
Views 4.8K
Comments 33

Межмодульный анализ C++ проектов в PVS-Studio

PVS-Studio corporate blog C++ *Compilers *C *

В PVS-Studio появилось одно крупное изменение – это поддержка межмодульного анализа C++ проектов. В статье речь пойдёт про то, как это реализовано в других инструментах, как сделали мы, как попробовать и что удалось найти.

Читать далее
Total votes 13: ↑10 and ↓3 +7
Views 1.5K
Comments 3