При переносе программного обеспечения одной из забот, которая ложится на плечи разработчика является изменение размерности типов и правил их выравнивания. Не так давно мы поддержали в...
ООО "СиПроВер" объявляет о выходе новой версии статического анализатора VivaMP 1.10. Инструмент VivaMP предназначен для поиска параллельных ошибок в коде приложений, разработанных на языке Си++...
ООО "СиПроВер" объявляет о выходе новой версии статического анализатора Viva64 2.30. Инструмент Viva64 предназначен для поиска ошибок в коде 64-битных приложений и для увеличения их...
В статье рассмотрены основные шаги, обеспечивающие корректный перенос 32-битных Windows приложений на 64-битные Windows системы. Хотя статья ориентирована на разработчиков, использующих язык...
В статье приводятся результаты исследований ошибок, которые допускают программисты, использующие С++ и OpenMP. Для автоматического обнаружения этих ошибок предлагается использование...
Интервью с Дмитрием Вьюковым - автором инструмента Relacy Race Detector (RRD) для верификации параллельных приложений. В статье вы узнаете об истории создания RRD, его основных возможностях, а...
1 апреля в Нижегородском государственном университете в рамках конференции ПаВТ'2009 сотрудник ООО "СиПроВер" Алексей Колосов выступил с докладом на тему "VivaMP, система выявления ошибок в...
В статье рассмотрена задача разработки программного инструмента под названием статический анализатор. Разрабатываемый инструмент используется для диагностики потенциально опасных...