Главное предназначение статических анализаторов – найти те ошибки, которые остались незамеченными разработчиком. И недавно команда PVS-Studio снова столкнулась с интересным примером мощи этой методики.
Рубрика «static analyzer»
Один день из жизни разработчика PVS-Studio, или как я отлаживал диагностику, оказавшуюся внимательнее трёх программистов
2021-07-05 в 12:51, admin, рубрики: C, c++, static analysis, static analyzer, strncat, Блог компании PVS-Studio, ложное срабатывание, С++, статический анализ, статический анализ кода, статический анализаторПо заказам Embedded-разработчиков: ищем ошибки в Amazon FreeRTOS
2019-10-31 в 10:02, admin, рубрики: Amazon FreeRTOS, C, embedded, freertos, microcontrollers, open source, pvs-studio, static analyzer, static code analysis, Блог компании PVS-Studio, программирование микроконтроллеров, системное программированиеКаждый, кто программирует микроконтроллеры, наверняка знает о FreeRTOS, или по крайней мере слышал об этой операционной системе. Ребята из Amazon решили расширить возможности этой операционной системы для работы с сервисами AWS Internet of Things – так появилась Amazon FreeRTOS. Нас, разработчиков анализатора кода PVS-Studio, в почте и в комментариях под статьями попросили проверить эти проекты. Что ж, вы просили – мы сделали. Что из этого получилось – читайте далее.
Nullable Reference types in C# 8.0 and static analysis
2019-06-07 в 9:31, admin, рубрики: .net, .NET Compiler Platform, C#, pvs-studio, roslyn, static analyzer, Visual Studio, Visual Studio 2019, Блог компании PVS-Studio, разработка под windows
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).
Читать полностью »
Nullable Reference типы в C# 8.0 и статический анализ
2019-06-07 в 9:27, admin, рубрики: .net, .NET Compiler Platform, C#, pvs-studio, roslyn, static analyzer, Visual Studio, Visual Studio 2019, Блог компании PVS-Studio, разработка под windows
Не секрет, что Microsoft достаточно давно работает над выпуском восьмой версии C#. В недавно состоявшемся релизе Visual Studio 2019 новая версия языка (C# 8.0) уже доступна, но пока ещё только в качестве beta релиза. В планах этой новой версии есть несколько возможностей, реализация которых может показаться не совсем очевидной, или точнее, не совсем ожидаемой. Одним из таких нововведений стала возможность использования Nullable Reference типов. Заявленным смыслом данного нововведения является борьба с Null Reference Exception'ами (NRE).
Читать полностью »
Поддержка Visual Studio 2019 в PVS-Studio
2019-06-04 в 10:06, admin, рубрики: .net, .NET Compiler Platform, .net core, C#, msbuild, pvs-studio, roslyn, static analyzer, Visual Studio, Visual Studio 2019, Блог компании PVS-Studio, разработка под windows
Поддержка Visual Studio 2019 в PVS-Studio затронула сразу несколько различных компонентов: сам плагин для IDE, command line приложение для анализа, ядра C++ и C# анализаторов, а также несколько утилит. О том, с какими проблемами мы столкнулись в ходе поддержки новой версии IDE и как их решали, я кратко расскажу в данной статье.
Читать полностью »
Support of Visual Studio 2019 in PVS-Studio
2019-06-04 в 10:02, admin, рубрики: .net, .NET Compiler Platform, .net core, C#, msbuild, pvs-studio, roslyn, static analyzer, Visual Studio, Visual Studio 2019, Блог компании PVS-Studio, разработка под 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.
Читать полностью »