Для получения триального ключа
заполните форму ниже
Team License (базовая версия)
Enterprise License (расширенная версия)
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

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

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

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

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

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

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


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

>
Публикации
Публикации
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"?
Андрей Карпов
Статья рассказывает о новом направлении в развитии статических анализаторов кода - верификации параллельных программ. В статье рассказывается о нескольких статических анализаторах, которые могут претендовать на звание "Parallel Lint".
...
27 Май 2009
Использование rand() в параллельных секциях OpenMP
Андрей Карпов
На форуме RSDN я встретил интересную ветку, где описывается специфическая ошибка использования функции rand() в параллельных секциях OpenMP (http://rsdn.org/forum/cpp.applied/3400925.flat). Я собираю различные ошибки, связанные с использованием технологии OpenMP для...
...
18 Май 2009
Первое впечатление от использования Intel Parallel Inspector
Андрей Карпов
Экспериментировал с Intel Parallel Inspector в режиме диагностики ошибок работы с памятью. Могу сказать, что продукт и то, что он делает, мне крайне понравилось. Особенно понравилась прекрасно выполненная интеграция в Visual Studio и полноценная поддержка 64-битных...
...
18 Май 2009
VivaCore, вопросы по документации
Андрей Карпов
К нам уже несколько раз обращались с вопросом, где можно ознакомиться с документацией на библиотеку VivaCore. К сожалению должен сообщить, что на данный момент документация по библиотеке VivaCore не существует.
...
Показать еще Стрелка вниз
Показано: - из 1314
Этот сайт использует куки и другие технологии, чтобы предоставить вам более персонализированный опыт. Продолжая просмотр страниц нашего веб-сайта, вы принимаете условия использования этих файлов. Если вы не хотите, чтобы ваши данные обрабатывались, пожалуйста, покиньте данный сайт. Подробнее →
Принять