Команда Viva64.com преобразована в компанию "Системы программной верификации"


Сообщаем о том, что команда Viva64.com - создатель анализатора кода Viva64 и библиотеки разбора кода VivaCore - преобразована в Общество с ограниченной ответственностью "Системы программной верификации" (ООО "СиПроВер"), английское название "Program Verification Systems". Адрес: 300027, Россия, Тула, Металлургов 70-1-88.

Теперь все права на разработки принадлежат этой компании.

Команда Viva64.com была образована в середине 2006 года для работы над анализатором кода Viva64. Продукт Viva64 предназначен для упрощения разработки 64-битного программного обеспечения. Первая версия Viva64 была выложена в Интернет 31 декабря 2006 года.

Одним из направлений деятельности компании является создание специализированных анализаторов кода. Для того, чтобы потенциальные заказчики могли оценить имеющиеся у компании технологии анализа кода, было принято решение о выпуске бесплатной открытой библиотеки анализа кода VivaCore. Данная библиотека позволяет разработать анализатор кода для каких-то конкретных задач без необходимости разбираться с принципами создания собственно анализаторов кода.

В настоящее время отдел разработки компании занимается созданием анализатора кода для параллельных программ под названием VivaMP. А отдел продаж - активным увеличением количества партнеров среди компаний-реселлеров по всему миру.



Найдите ошибки в своем C, C++, C# и Java коде

Предлагаем попробовать проверить код вашего проекта с помощью анализатора кода PVS-Studio. Одна найденная в нём ошибка скажет вам о пользе методологии статического анализа кода больше, чем десяток статей.

goto PVS-Studio;



Найденные ошибки

Проверено проектов
344
Собрано ошибок
12 970

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++, C#
и Java

goto PVS-Studio;