Главная

Публикации

Статьи: Андрей Карпов

Публикации: Андрей Карпов

Все Статьи Видео Книги Об авторе

Все теги:

#Cpp

#CSharp

#Knowledge

#64bit

#GameDev

#StaticAnalysis

#Release

#Security

#DevOps

#Marketing

#Java

#Compiler

#OS

#GuestArticle

#Embedded

#Broadcasting

#Cpp

26 Фев 2014

Эксперимент по проверке библиотеки glibc

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

Мы провели эксперимент по проверке библиотеки glibc с помощью PVS-Studio. Цель эксперимента посмотреть, насколько успешно анализатор может проверять Linux-проекты. Пока плохо может...

...

#Cpp

21 Фев 2014

Побочный результат: проверяем Firebird с помощью PVS-Studio

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

Сейчас мы заняты большой задачей. Мы хотим провести сравнение анализаторов кода: Cppcheck, PVS-Studio и Visual Studio 2013 (встроенный анализатор кода). Для этого мы решили проверить не...

...

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

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

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

15 Фев 2014

Open-source проекты, которые мы проверили с помощью PVS-Studio

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

Подобная статья уже публиковалась на нашем сайте. Однако, количество проектов увеличивается, и, думаю, будет рационально раз в год обновлять список. Этим и...

...

07 Фев 2014

LibRaw, Coverity SCAN, PVS-Studio

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

Прочитал заметку о проверке маленького проекта LibRaw с помощью Coverity SCAN. Из статьи следует, что ничего интересного не нашлось. Решил попробовать, сможет ли найти что-то анализатор...

...

#Cpp #GameDev

16 Янв 2014

Анализ проекта Source SDK

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

Source SDK - набор утилит для создания модификаций на движке Source, разработанный корпорацией Valve. Исходные коды проекта были скачаны и проверены ещё в конце 2013 года. На новогодних праздниках...

...

14 Янв 2014

Альтернатива PVS-Studio за $250

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

Вас приветствуют разработчики статического анализатора кода PVS-Studio. Мы разработали новый программный продукт - CppCat. Разработан он так. Мы представили, что у нас нет PVS-Studio, но есть опыт...

...

#Cpp

24 Ноя 2013

Предновогодняя проверка PostgreSQL

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

Год заканчивается, а я давно не писал заметок о проверке открытых проектов. Мне уже неоднократно предлагали проверить проект PostgreSQL Database Management System. Этим я и занялся. К...

...

#Cpp

14 Ноя 2013

Продолжение проверки Geant4

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

Написал правильную статью про проверку проекта Geant4. Напомню предысторию. Недавно была проверена старая версия библиотеки Geant4 и написана статья "Copy-Paste и мюоны". Почему была проверена...

...

#Cpp

11 Ноя 2013

Copy-Paste и мюоны

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

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

...

29 Окт 2013

PVS-Studio для Visual C++ (устаревшая статья)

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

Очень давно все наши статьи стали посвящаться чему угодно, но только не самому инструменту PVS-Studio. Мы рассказываем о проверенных проектах, о тонкостях языка Си++, о создании плагинов на C#...

...