Обзор наших продуктов на сайте известного реселлера "SoftKey"


На сайте одного из крупнейших реселлеров России и СНГ SoftKey вышла статья о наших статических анализаторах Viva64 и VivaMP.

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

Справедливо указано и главное преимущество программы - возможность сэкономить массу времени и сил разработчикам, занимающимся написанием программ для 64-битных систем или портированием программ на такие системы.

В статье отдельно говорится и о другом нашем продукте - анализаторе для параллельных программ VivaMP. Здесь сказано, что программа, будучи построенная по принципу Viva64, имеет различия в диагностике кода.

Внимания заслуживает и упоминание о том, что оба анализатора построены на библиотеке VivaCore, специально разработанной нашими специалистами для создания данных (и подобных) анализаторов.



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

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

goto PVS-Studio;



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

Проверено проектов
346
Собрано ошибок
13 188

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

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

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

goto PVS-Studio;