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