Семинар в НИВЦ МГУ

Андрей Карпов
Статей: 552

23 марта в Научно-исследовательском вычислительном центре МГУ состоялся семинар с участием генерального директора ООО "СиПроВер" Евгения Рыжкова на тему "Статический анализ кода для автоматического обнаружения ошибок при переносе программ на 64-битные платформы".

Были обозначены проблемы программирования на языке C/C++, связанные с поиском ошибок при переносе кода на 64-битную платформу и при написании исходного кода с учетом 64-битной разрядности, в частности, рассмотрены примеры несоответствия типов переменных данных и присваиваемых им значений на системах различной разрядности.

Аудитории были продемонстрированы примеры поиска ошибок исходного кода анализатором ошибок Viva64, разработанным в компании ООО "СиПроВер". Демонстрация примеров вызвала оживленную реакцию слушателей, которые задали большое количество вопросов.

По мнению докладчика, его речь была воспринята с большим научным интересом.

Евгений Рыжков, генеральный директор ООО "СиПроВер": "Приятно, когда слушатели понимают суть статического анализа и не приходится объяснять методологию такого способа верификации. Дискуссия строится на сугубо практических вопросах работы анализатора, и число точек соприкосновения мнений аудитории и докладчика становится максимальным".

Основными направлениями научной деятельности Научно-исследовательского вычислительного центра МГУ являются:

  • фундаментальные проблемы построения систем автоматизации; методология, технология и безопасность крупных информационных систем;
  • параллельные вычисления и программное обеспечение информационно-вычислительных комплексов новых поколений;
  • математическое моделирование, методы вычислительной и прикладной математики и их применение к фундаментальным исследованиям в различных областях знаний;
  • современные компьютерные технологии в обучении.


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

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

goto PVS-Studio;

Андрей Карпов
Статей: 552


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

Проверено проектов
414
Собрано ошибок
14 218

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

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

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

goto PVS-Studio;
Этот сайт использует куки и другие технологии, чтобы предоставить вам более персонализированный опыт. Продолжая просмотр страниц нашего веб-сайта, вы принимаете условия использования этих файлов. Если вы не хотите, чтобы ваши данные обрабатывались, пожалуйста, покиньте данный сайт. Подробнее →
Принять