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