Наши основные направления – это 64-битное и параллельное программирование. Компания начала свою деятельность с создания статического анализатора исходного кода программ, Viva64, написанных на языке Си/Си++ и предназначенных для 64-битных систем или для портирования на такие системы. Позже появилось средство верификации для параллельных программ, созданных по технологии OpenMP – VivaMP. В настоящее время оба средства верификации объединены в один программный пакет – PVS-Studio.

Разработка анализаторов кода

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

Наша компания предоставляет услуги по созданию специализированных решений в области статического анализа кода на языке Си/СИ++. Основные направления – 64-битное и параллельное программирование.

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

Мы можем создать:

• анализаторы 64-битного кода под конкретные задачи и проекты;
• анализаторы параллельных программ, созданных по технологиям OpenMP, MPI, POSIX Threads Intel Threading Building Blocks;
• иные анализаторы исходного кода, отвечающие конкретным задачам клиента.

Анализатор кода PVS-Studio является примером создаваемых нами программ, иллюстрирует наши возможности.

Мы выгодно отличаемся от многих субподрядчиков, так как имеем значительный опыт создания анализаторов кода, а также опыт создания библиотеки специально для наших анализаторов – средств верификации 64-битных и параллельных программ.

Мы готовы рассмотреть все варианты сотрудничества и предложить оптимальные условия выполнения ваших проектов.

Миграция на 64-битные платформы

Переход на 64-битные системы является повсеместным, хотя в настоящее время еще не явным, процессом. Написание анализаторов кода и портирование программ на 64-битные платформы является одним из основных направлений деятельности нашей компании.

Мы готовы выполнить миграцию и анализ кода для подготовки проекта к работе в 64-битной среде согласно требованиям и условиям заказчика. Анализ исходного кода производится статическим анализатором Viva64, который сообщает о проблемных местах в новом коде и предлагает варианты их исправления. После этого проводится обработка результатов, исправление исходного кода в проблемных местах, выполняется окончательная проверка.

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

Распараллеливание кода

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

Мы можем произвести верификацию исходного кода ваших программ, создаваемых по технологиям OpenMP, MPI, POSIX Threads, Intel Threading Building Blocks. Верификация включает в себя обработку результатов, исправление исходного кода в проблемных местах, выполнение окончательной проверки.

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