Команда PVS-Studio: аудит кода и другие услуги

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



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

Picture 1

Основной нашей деятельностью является разработка и продажа статического анализатора кода PVS-Studio. Но, как-то само собой, возникло параллельное ответвление, связанное с продажей наших компетенций. Это можно назвать аутсорсинг, но нам не нравится это слово. Оно не отражает, что мы выполняем работы в тех областях, где мы являемся экспертами. То есть, так или иначе, наша деятельность пересекается с тематикой статического анализа кода или нашими большими познаниями в C++ и C#.

В основном, наша команда выполняла работу по анализу (аудиту) стороннего кода с помощью нашего или сторонних инструментов. Однако, мы вовсе не ограничиваемся только аудитом. Например, мы занимались переносом очень большого приложения на 64-битную платформу. Подробнее про это рассказано в статье "Как перенести проект размером в 9 млн строк кода на 64-битную платформу?".

Почти все выполненные нами работы сопровождались подписанием NDA и, к сожалению, я ничего не могу о них рассказывать. Из открытых задач я могу сослаться на сотрудничество с компанией Epic Games, для которой мы проводили улучшение кода проекта Unreal Engine. Статья на их сайте на эту тему: "How the PVS-Studio Team Improved Unreal Engine's Code".

Раз сложилась практика по выполнению сторонних заказов, мы решили, что стоит не только её продолжать, но и расширять. Возможные направления:

  • Как разовый, так и регулярный аудит вашего кода (C, C++, C#, Java).
  • Портирование больших проектов на 64-битные платформы.
  • Разработка OEM решений на базе статического анализатора кода PVS-Studio.
  • Разработка стандарта кодирования.
  • Задачи, вообще никак не связанные с изначальной темой. Раз уж сотрудничаем, то почему бы не сделать ещё и вот это...

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

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

Если не уверены, стоит нам писать по каким-то вопросам или нет, то пишите. Общение в любом случае является полезным делом. Бывает и не угадаешь, в какие виды сотрудничества может вылиться обсуждение тех или иных тем.



Найдите ошибки в своем C, C++, C# и Java коде

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

goto PVS-Studio;

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


Найденные ошибки

Проверено проектов
344
Собрано ошибок
12 970

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++, C#
и Java

goto PVS-Studio;