Главная

Публикации

Публикации: #Knowledge

Публикации: # Knowledge

Все теги:

#Cpp

#CSharp

#Knowledge

#64bit

#GameDev

#StaticAnalysis

#Release

#Security

#DevOps

#Marketing

#Java

#Compiler

#OS

#GuestArticle

#Embedded

#Broadcasting

#Cpp #Knowledge #StaticAnalysis #Compiler

08 Июн 2020

Анализатор PVS-Studio на сайте godbolt.org (Compiler Explorer) и предостережение

Андрей Карпов

Мы добавили возможность экспериментировать со статическим анализатором кода PVS-Studio на сайте godbolt.org (Compiler Explorer). Поддерживается анализ C и C++ кода. Уверены, что это интересный...

...

#Knowledge

10 Май 2020

C++ быстрее и безопаснее Rust, Yandex сделала замеры

Роман

Спойлер: C++ не быстрее и не медленнее и вообще смысл не в этом. Эта статья является продолжением славных традиций развенчания мифов крупных российских компаний о языке Rust.

...

Подписаться на рассылку

Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!

* Нажимая на кнопку, вы даете согласие на обработку своих персональных данных. См. Политику конфиденциальности

#CSharp #Knowledge

10 Мар 2020

Выявление неправильной блокировки с двойной проверкой с помощью диагностики V3054

Андрей Карпов

Анализатор PVS-Studio умеет выявлять неправильные варианты реализации шаблона "блокировка с двойной проверкой" в коде программ на языке C#. Иногда пользователям не понятно, в чём опасность кода...

...

#Cpp #CSharp #Knowledge #Java

14 Фев 2020

Ноль, один, два, Фредди заберёт тебя

Андрей Карпов

Перед вами продолжение серии статей, которую можно озаглавить "ужасы для программистов". В этот раз речь пойдёт о типовом паттерне опечаток, связанном с использованием чисел 0, 1, 2. Неважно...

...

#Knowledge #StaticAnalysis

16 Янв 2020

Использование машинного обучения в статическом анализе исходного кода программ

Андрей Карпов, Виктория Ханиева

Машинное обучение плотно укоренилось в различных сферах деятельности людей: от распознавания речи до медицинской диагностики. Популярность этого подхода столь велика, что его пытаются...

...

#Knowledge #StaticAnalysis

24 Июл 2019

Зачем нужен динамический анализ кода, если есть статический?

Илья Гайнулин

Для проверки качества программного обеспечения приходится применять много разных инструментов. В частности, к ним относятся инструменты статического и динамического анализа. В данной статье...

...

#Cpp #Knowledge

16 Июл 2019

Про разницу между strlcat и strncat

Святослав Размыслов

Пока идёт активная подготовка больших статей про проверку кода операционной системы Haiku OS, я хочу привести один пример популярной ошибки с функцией strncat из этого проекта. Освежить знания...

...

#Cpp #Knowledge

26 Июн 2019

Опасность использования multi-character-констант

Святослав Размыслов

Во время анализа кода, PVS-Studio выполняет анализ потока данных и оперирует значениями переменных. Значения берутся из констант или выводятся из условных выражений. Мы называем их...

...

#CSharp #Knowledge

05 Июн 2019

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

Александр Сеничкин, Павел Еремеев

Не секрет, что Microsoft достаточно давно работает над выпуском восьмой версии C#. В недавно состоявшемся релизе Visual Studio 2019 новая версия языка (C# 8.0) уже доступна, но пока ещё только...

...

#Cpp #Knowledge

04 Фев 2019

Шестая проверка Chromium, послесловие

Андрей Карпов

В начале 2018 года в нашем блоге появился цикл статей, посвящённый шестой проверке исходного кода проекта Chromium. Цикл включает в себя 8 статей, посвященных ошибкам и рекомендациям по...

...