Пожалуй, каждый разработчик программ для микроконтроллеров наверняка хотя бы раз слышал про специальные стандарты кодирования, призванные помочь повысить безопасность и переносимость вашего кода. Одним из таких стандартов является MISRA. В этой статье мы рассмотрим подробнее, что же представляет собой этот стандарт, какова его философия и как использовать его в ваших проектах.
Читать полностью »
Рубрика «Блог компании PVS-Studio» - 5
Как PVS-Studio провела второе полугодие конференций 2019
2019-12-24 в 11:58, admin, рубрики: c++ russia 2019, dotnext, jokerconf 2019, jug.ru, pvs-studio, Блог компании PVS-Studio, конференции, онтикоКто куда, а наша команда PVS-Studio снова на конференции. В этой статье мы хотели бы поделиться с вами своим опытом, рассказать, как у нас прошло второе полугодие 2019, как мы готовились, где совершали ошибки, как их исправляли, и, как всегда, ждем обратную связь.
Our Small Contribution to Avalonia UI’s Fight for Fewer Platforms
2019-12-23 в 9:21, admin, рубрики: .net, avalonia, avaloniaui, C#, linux, open source, pvs-studio, windows, Блог компании PVS-Studio
This article is a review of the bugs found in the Avalonia UI project with the static analyzer PVS-Studio. Avalonia UI is an open-source cross-platform XAML-based UI framework. This is one of the most technologically significant projects in the history of .NET as it enables developers to create cross-platform interfaces based on the WPF system. We hope the project's authors will find this article helpful in fixing some of the bugs, and convincing enough to make static analysis part of their development process.
Читать полностью »
Небольшой вклад в борьбе Avalonia UI против зоопарка платформ
2019-12-23 в 9:20, admin, рубрики: .net, avalonia, avaloniaui, C#, linux, open source, pvs-studio, windows, Блог компании PVS-Studio, интерфейсы
Эта статья – результат проверки проекта Avalonia UI с помощью статического анализатора PVS-Studio. Avalonia UI – это кроссплатформенная платформа пользовательского интерфейса на основе XAML, с открытым исходным кодом. Это один из технологически значимых проектов в истории .NET, так как позволяет создавать кроссплатформенные интерфейсы на основе WPF системы. Надеюсь, эта статья поможет авторам исправить некоторые ошибки и убедит использовать статические анализаторы в будущем.
Читать полностью »
Топ 10 ошибок в проектах C++ за 2019 год
2019-12-19 в 12:53, admin, рубрики: C, c++, pvs-studio, баги, Блог компании PVS-Studio, ошибки, статический анализ, статический анализ кода, топ
Ещё один год стремится к окончанию, поэтому настало время заварить себе кофе и перечитать обзоры ошибок за прошедший год. Конечно, на это уйдёт много времени, поэтому эта статья и была написана. Предлагаю взглянуть на наиболее интересные темные места проектов, которые встретились нам в 2019 году в проектах, написанных на C и C++.
Читать полностью »
Топ 10 ошибок в проектах C# за 2019 год
2019-12-19 в 12:31, admin, рубрики: .net, C#, pvs-studio, Visual Studio, Блог компании PVS-Studio
Приветствуем всех любителей багов. Уже скоро наступит Новый год, так что самое время подвести итоги года уходящего. По традиции — рейтинг самых интересных ошибок, которые были обнаружены командой PVS-Studio в открытых проектах C# за 2019 год. Готовы? Тогда приступим.
Читать полностью »
МЕРЧ! МЕРЧ! МЕРЧ! и… единороги
2019-12-18 в 13:08, admin, рубрики: pvs-studio, Блог компании PVS-Studio, дизайн, конференции, креатив, маркетинг, продвижение продукта, сувенирка, сувенирная продукцияОчередной сезон конференций подошел к концу, и совсем уже уверенно нам на пятки наступает новогодний марафон, поэтому самое время сейчас нам поговорить о прекрасном и самом универсальном виде подарка – сувенирной продукции.
Clang-format тормозит работу программы
2019-12-12 в 17:34, admin, рубрики: c++, clang, Блог компании PVS-Studio, детектив, Компиляторы, оптимизация, оптимизация кодаСегодня мы будем измерять производительность разных реализаций функции toupper, ведь именно этим и занимаются по вторникам.
Вообще-то мне нет никакого дела до функции toupper, просто я недавно писал другой пост и мне нужен был какой-то общий сюжетный стержень, а toupper кажется вполне интересным и безобидным кандидатом в бенчмарки. Я старался выбрать что-то максимально простое, что не увело бы меня в сторону, но так уж получилось, что в этом тесте я столкнулся со странной проблемой.
Читать полностью »
Azure SDK for .NET: история о непростом поиске ошибок
2019-12-06 в 6:13, admin, рубрики: .net, azure, C#, microsoft, Microsoft Azure, pvs-studio, Visual Studio, windows forms, Блог компании PVS-Studio, разработка под windows
Когда мы решили поискать ошибки в проекте Azure SDK for .NET, то были приятно удивлены его размером. «Три с половиной миллиона строк кода», — приговаривали мы, изучая статистику проекта. Это сколько же там всего можно найти. Но, увы и ах. Проект оказался с секретом. Какова же особенность проекта и как прошла его проверка — читайте в этой статье.
Читать полностью »
Проверка кода компилятора Ark Compiler, недавно открытого компанией Huawei
2019-12-02 в 6:41, admin, рубрики: ark compiler, C, c++, compiler, huawei, open source, pvs-studio, Блог компании PVS-Studio, КомпиляторыВо время презентаций летом 2019 года Huawei анонсировала технологию Ark Compiler. По заверениям представителей компании, этот проект с открытым исходным кодом позволяет существенно повысить плавность и отзывчивость Android и сторонних приложений. Новый интересный открытый проект по традиции должен пройти проверку качества кода с помощью PVS-Studio.
Введение
Впервые компилятор Huawei Ark был представлен вместе с запуском смартфонов Huawei P30 и P30 Pro. По заявлению Huawei, компилятор Ark повышает плавность работы Android на 24%, а скорость отклика – на 44%. При этом сторонние приложения для Android, после перекомпиляции с помощью Ark, могут работать на 60% быстрее. Открытый проект имеет название OpenArkCompiler. Его исходный код доступен на китайском аналоге сайта GitHub – Gitee.
Читать полностью »