PVS-Studio

Главная

Публикации

Ошибки

06 Авг 2009

Андрей Карпов

В PVS-Studio 3.10 будет существенно улучшена поддержка сложных конструкций, основанных на шаблонах, что позволяет эффективно искать ошибки даже в коде тех программ, где используются сложные...

...

#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"?

Андрей Карпов

Статья рассказывает о новом направлении в развитии статических анализаторов кода - верификации параллельных программ. В статье рассказывается о нескольких статических анализаторах, которые...

...