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

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

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

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

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

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

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

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

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

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

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


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

Главная
>
Публикации

Публикации

Все Статьи Видео Книги Развлечения
Ошибки
#Release
27 Июл 2009
Новый программный продукт PVS-Studio 3.00 вышел 27 июля 2009 года!
Андрей Карпов
Представляем новый программный продукт ООО "СиПроВер" под названием PVS-Studio (PVS - сокращение от Program Verification Systems, название нашей компании на английском языке). PVS-Studio ...
...
20 Июл 2009
Метрики кода программного обеспечения
Антон Милютин
В работе приведен обзор 7 классов метрик и более 50 их представителей, дано детальное описание и используемые алгоритмы вычисления, описана роль метрик в разработке программного...
...
Подписаться на рассылку
Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!
* Нажимая на кнопку, вы даете согласие на обработку своих персональных данных. См. Политику конфиденциальности
#Cpp #Knowledge
20 Июл 2009
Функция распечатки типа выражения
Андрей Карпов
Очень часто в форумах приходится встречать рассуждения, о том, какой тип будет иметь то или иное выражение. Решил сделать маленькую заметку в блог, чтобы затем ссылаться на...
...
29 Июн 2009
Курс по статическому анализу
Андрей Карпов
Некоторое время назад, мы общались с компанией ТЕКАМА на тему разработки для них курса по статическому анализу кода для одного из их корпоративных клиентов. К сожалению, проект не был реализован...
...
29 Июн 2009
OpenMP 3.0 и итераторы
Андрей Карпов
Радостная новость ждет разработчиков, которые хотят одновременно использовать в своих программах итераторы и OpenMP. До недавнего времени не то, чтобы эти технологии были не совместимы...
...
23 Июн 2009
Программы ООО "СиПроВер" в каталоге Select Software
Андрей Карпов
В июне 2009 года наши статические анализаторы кода появились в каталоге реселлера Select Software (http://selectindia.com/), представленного на одном из самых крупных и стремительно...
...
09 Июн 2009
Первые наши практические исследования в области расчета метрик
Андрей Карпов
Не так давно мы начали задумываться над вопросом анализа программного кода не только с точки зрения наличия в нем 64-битных или OpenMP ошибок, но и с точки сложности его адаптации для 64-битных...
...
09 Июн 2009
Планы ООО "СиПроВер" по развитию собственных программных продуктов
Евгений Рыжков
С начала весны 2009 года в нашей компании активно идет разработка нового программного продукта PVS-Studio, который является развитием анализаторов кода Viva64 и VivaMP. Настало время...
...
08 Июн 2009
Что такое "Parallel Lint"?
Андрей Карпов
Статья рассказывает о новом направлении в развитии статических анализаторов кода - верификации параллельных программ. В статье рассказывается о нескольких статических анализаторах, которые...
...
27 Май 2009
Использование rand() в параллельных секциях OpenMP
Андрей Карпов
На форуме RSDN я встретил интересную ветку, где описывается специфическая ошибка использования функции rand() в параллельных секциях OpenMP (http://rsdn.org/forum/cpp.applied/3400925.flat). Я...
...
Показать еще Pagination arrow previous
1
...
140 141 142 143 144
...
151
Показано: - из 1504