Семинар в НИВЦ МГУ
23 марта в Научно-исследовательском вычислительном центре МГУ состоялся семинар с участием генерального директора ООО "СиПроВер" Евгения Рыжкова на тему "Статический анализ кода для автоматического обнаружения ошибок при переносе программ на 64-битные платформы".
Были обозначены проблемы программирования на языке C/C++, связанные с поиском ошибок при переносе кода на 64-битную платформу и при написании исходного кода с учетом 64-битной разрядности, в частности, рассмотрены примеры несоответствия типов переменных данных и присваиваемых им значений на системах различной разрядности.
Аудитории были продемонстрированы примеры поиска ошибок исходного кода анализатором ошибок Viva64, разработанным в компании ООО "СиПроВер". Демонстрация примеров вызвала оживленную реакцию слушателей, которые задали большое количество вопросов.
По мнению докладчика, его речь была воспринята с большим научным интересом.
Евгений Рыжков, генеральный директор ООО "СиПроВер": "Приятно, когда слушатели понимают суть статического анализа и не приходится объяснять методологию такого способа верификации. Дискуссия строится на сугубо практических вопросах работы анализатора, и число точек соприкосновения мнений аудитории и докладчика становится максимальным".
Основными направлениями научной деятельности Научно-исследовательского вычислительного центра МГУ являются:
- фундаментальные проблемы построения систем автоматизации; методология, технология и безопасность крупных информационных систем;
- параллельные вычисления и программное обеспечение информационно-вычислительных комплексов новых поколений;
- математическое моделирование, методы вычислительной и прикладной математики и их применение к фундаментальным исследованиям в различных областях знаний;
- современные компьютерные технологии в обучении.
0