Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо
to the top
close form

Заполните форму в два простых шага ниже:

Ваши контактные данные:

Шаг 1
Поздравляем! У вас есть промокод!

Тип желаемой лицензии:

Шаг 2
Team license
Enterprise license
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности
close form
Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Бесплатная лицензия PVS‑Studio для специалистов Microsoft MVP
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Мне интересно попробовать плагин на:
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
check circle
Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

Вебинар: Что скрывают Blender и YTsaurus? Вся правда о технологии статического анализа - 30.05

>
Публикации

Публикации: статьи

17 Июл 2008
Вышла печатная версия статьи "Библиотека анализа кода VivaCore" в журнале "RSDN Magazine" #1' 2008
Андрей Карпов
Статья сотрудников ООО "СиПроВер", посвященная нашей библиотеке анализа кода VivaCore, опубликована в журнале RSDN Magazine #1' 2008.
...
16 Июл 2008
Статья "Подходы к верификации и тестированию 64-битных приложений" напечатана в "Информационные технологии" #7' 2008
Андрей Карпов
Статья сотрудников ООО "СиПроВер", посвященная особенностям разработки 64-битных приложений, опубликована в журнале "Информационные технологии" #7...
...
Подписаться на рассылку
Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!
* Нажимая на кнопку, вы даете согласие на обработку своих персональных данных. См. Политику конфиденциальности
10 Июл 2008
Выпущена новая версия анализатора кода Viva64 2.0
Андрей Карпов
ООО "СиПроВер" сообщает о выпуске новой версии анализатора кода Viva64 2.0. Программный продукт Viva64 - это статический анализатор Си и Си++ кода. Viva64 позволяет выявлять некорректные...
...
05 Июл 2008
Это сложно
Андрей Карпов
В статье рассматривается проблема превышения сроков создания программ, как результат самообмана, что программирование это просто, и даже еще...
...
02 Июл 2008
Описание VivaVisualCode
Андрей Карпов, Евгений Рыжков
В данной статье рассмотрена программа VivaVisualCode, демонстрирующая использование библиотеки VivaCore. Программа VivaVisualCode графически отображает дерево разбора для вводимого исходного кода...
...
01 Июл 2008
ООО "СиПроВер" теперь находится в новом офисе!
Андрей Карпов
ООО "СиПроВер" теперь находится в новом...
...
07 Июн 2008
В ИСП РАН прошел семинар с участием наших специалистов
Андрей Карпов
В институте системного программирования Российской академии наук, расположенном по адресу г. Москва, ул. Б. Коммунистическая, 25, прошел семинар, посвященный вопросам разработки 64-битных...
...
30 Май 2008
Сравнение диагностических возможностей анализаторов при проверке 64-битного кода
Андрей Карпов
В статье производится сравнение специализированного статического анализатора Viva64 со статическими анализаторами общего назначения Parasoft C++test и Gimpel Software PC-Lint. Сравнение...
...
20 Май 2008
32 подводных камня OpenMP при программировании на Си++
Алексей Колосов, Андрей Карпов, Евгений Рыжков
С распространением многоядерных систем задача параллельного программирования становится все более и более актуальной. Данная область, однако, является новой даже для большинства...
...
15 Май 2008
В ВЦ РАН прошел семинар с участием наших специалистов
Андрей Карпов
В вычислительном центре имени А.А.Дородницына Российской академии наук (ВЦ РАН), расположенном по адресу Москва, ул. Вавилова, 40, прошел семинар, посвященный вопросам статического анализа...
...
Показать еще Pagination arrow previous
Показано: - из 1356