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

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

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

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

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

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

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


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

>
Публикации
Публикации: статьи
13 Май 2008
Построение систем автоматического протоколирования Си/Си++ кода
Андрей Карпов
Иногда единственным методом отладки является использование протоколирования событий приложения. К недостаткам протоколирования (логирования) можно отнести большой объем кода, который приходится писать вручную для сохранения всей необходимой информации. В статье...
...
20 Апр 2008
VivaCore - быстрый старт
Евгений Рыжков, Андрей Карпов
Документ знакомит разработчиков с библиотекой VivaCore. Дается общая информация о библиотеке VivaCore, области применения, лицензионных соглашениях. Описывается процесс развертывания библиотеки и пример ее использования.
...
Подписаться на рассылку
Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!
* Нажимая на кнопку, вы даете согласие на обработку своих персональных данных. См. Политику конфиденциальности
15 Апр 2008
64 бита, /Wp64, Visual Studio 2008, Viva64 и все, все, все...
Андрей Карпов
Данная статья ставит своей задачей ответить на ряд вопросов, касающихся безопасного переноса Си/Си++ кода на 64-битные системы. Статья написана как ответ на часто обсуждаемую в форумах тематику, связанную с использованием ключа /Wp64 и инструмента Viva64.
...
04 Апр 2008
Преимущества использования Viva64
Евгений Рыжков, Андрей Карпов
Цель данной рекламной статьи - показать преимущества от использования инструмента Viva64 в жизненном цикле разработки программного обеспечения.
...
01 Апр 2008
Выпущена библиотека анализа кода VivaCore 1.0
Андрей Карпов
ООО "СиПроВер" занимаясь исследованиями в области статического анализа и работая над созданием инструмента Viva64, пришла к выводу, что большая часть разработанных структур и алгоритмов может быть выделена в библиотеку и использована сторонними разработчиками для...
...
31 Мар 2008
Разработки ООО "СиПроВер" поддержаны ФСРМПНТС
Андрей Карпов
Исследования и разработки ООО "СиПроВер" поддержаны Фондом содействия развитию малых форм предприятий в научно-технической сфере в рамках программы "СТАРТ-08".
...
21 Мар 2008
Команда Viva64.com преобразована в компанию "Системы программной верификации"
Андрей Карпов
Сообщаем о том, что команда Viva64.com - создатель анализатора кода Viva64 и библиотеки разбора кода VivaCore - преобразована в Общество с ограниченной ответственностью "Системы программной верификации" (ООО "СиПроВер"), английское название "Program Verification...
...
16 Фев 2008
Применение технологии статического анализа кода при разработке параллельных программ
Евгений Рыжков, Андрей Карпов
В статье рассматривается вопрос применения статических анализаторов кода в современных процессах разработки параллельных программ. Появившись в 70-80-х годах как дополнение к компиляторам, статические анализаторы перестали пользоваться популярностью у разработчиков в...
...
10 Фев 2008
Разработка ресурсоемких приложений в среде Visual C++
Евгений Рыжков, Андрей Карпов
Статья познакомит разработчиков прикладного программного обеспечения с задачами, которые ставит перед ними массовое внедрение многоядерных 64-битных вычислительных систем, знаменующих революционное увеличение вычислительной мощности, доступное рядовому пользователю...
...
31 Янв 2008
Применение статического анализа при разработке программ
Алексей Колосов
Статический анализ - это способ проверки исходного кода программы на корректность. Процесс статического анализа состоит из трех этапов. Сначала анализируемый код разбивается на лексемы - константы, идентификаторы, и т. д. Эта операция выполняется лексером. Затем...
...
Показать еще
Показано: - из 1227
Unicorn with delicious cookie
Мы используем куки, чтобы пользоваться сайтом было удобно. Хотите узнать подробнее?
Принять