• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • The Automated Analysis of Header Files for Support of the Standardization Process
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
September 25, 2026
AI Users Earn Up to 41.8% More Than Non-Users
Research conducted by economists at HSE University has revealed a significant correlation between the regular use of GenAI in the workplace and higher pay among Russian employees. The study found that individuals who frequently use GenAI in their professional activities earn notably more than those who reject these new tools or resort to them occasionally. The salary premium for highly qualified specialists reaches 41.8%. The article was published in the Voprosy Ekonomiki journal.
September 24, 2026
‘Feedback and Constructive Criticism Are Essential in Our Profession
Vincent Fardeau, Associate Professor at HSE ICEF, has reached a major career milestone: he recently published his paper ‘Asymmetric Thin Markets’ in the Journal of Financial Economics, successfully passed his major academic review, and received tenure. In this interview, Vincent discusses the story behind the paper, explains the concept of asymmetric thin markets, and shares his advice for young scholars aiming to publish in top-tier journals.
September 22, 2026
Personal Interest in Doctoral Thesis Topic Most Important for Confidence in Successful Defence
A researcher at HSE University analysed data on 1,539 doctoral students from 161 Russian universities to identify which features of a thesis topic are associated with academic success and engagement. The most important factor was found to be personal interest in the research topic, which was associated with almost all key aspects of doctoral programme experience—from engaging with the academic supervisor to research activity and confidence about successfully defending the thesis. The findings have been published in Higher Education.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

The Automated Analysis of Header Files for Support of the Standardization Process

P. 27–34.
Silakov D., Novikov E.

In this paper the method of the automated analysis of header files intended for support of the standardization process LSB is described. The offered approach is based on use of the high-level representations of the preprocessor cpp and the compiler gcc, their extensions and additional analyzers. The basic stages of tool’s work implementing the offered method and its application for the analysis of header files of the library Qt are considered.

Language: English
Keywords: LINUXстатический анализlanguage syntaxLINUX

In book

Proceedings of the Third Spring Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2009)
Kamkin A., Petrenko A., Terekhov A. M.: -, 2009.
Similar publications
Девятнадцатая конференция «Свободное программное обеспечение в высшей школе» : материалы конференции / Переславль-Залесский, 28–30 июня 2024 года
М.: МАКС Пресс, 2024.
The book contains theses of talks approved by the Program Committee of the Nineteenth Conference “Free Software in Higher Education”. ...
Added: October 25, 2025
Двадцатая конференция "Свободное программное обеспечение в высшей школе" : материалы конференции / Переславль-Залесский, 07–09 февраля 2025 г.
М.: МАКС Пресс, 2025.
The book contains conference proceedings approved by the Program Committee of the Twentieth Conference ‘Free Software in Higher Education’. ...
Added: October 24, 2025
Исследование информационной защищенности мобильных приложений
Сафин Л. К., Александров Я. А., Трошина К. Н. et al., Вопросы кибербезопасности 2015 № 4 С. 28–37
Security analysis is the one of definitely expedient milestones in the application lifecycle. The process of security analysis should be applied to every program component in the information system, which needs to access sensitive data, particularly to mobile applications. This paper presents a practical step-by-step approach to evaluation of mobile application security and systematization of ...
Added: January 10, 2024
Определение границ подпрограмм при статическом анализе бинарных образов
Александров Я. А., Сафин Л. К., Chernov A. V. et al., Вопросы кибербезопасности 2016 № 1 С. 53–60
В процессе исследования защищенности программы по требованиям информационной безопасности представляется целесообразным использование статического анализа бинарного образа программы. Важным этапом статического бинарного анализа является задача разбиения бинарного образа на подпрограммы. Распространенный алгоритм решения данной задачи опирается на определение стартовых адресов подпрограмм, начинающихся с определенной последовательности инструкций машинного кода, и последующего обхода потока управления в глубину от ...
Added: January 9, 2024
Автоматическая оценка надежности процедуры аутентификации
Александров Я. А., Марченко Е. А., Тахавиев Р. В. et al., Защита информации. Инсайд 2016 № 5 С. 20–25
Authentication system is an important component of applications in terms of information security. Certain vulnerabilities in authentication systems can be detected automatically by static or dynamic code analysis. This article considers the problem of automatic authentication security assessment based on code analysis and some application properties. ...
Added: December 26, 2023
Практическая абстрактная интерпретация бинарного кода
Соловьев М. А., Бакулин М. Г., Макаров С. С. et al., Труды Института системного программирования РАН 2020 Т. 32 № 6 С. 101–110
Математический аппарат абстрактной интерпретации предоставляет универсальный способ формализации и изучения алгоритмов анализа программ для самого широкого спектра прикладных задач. Однако его применение для практически значимых задач анализа бинарного кода связано с большим числом вызовов, как научных, так и инженерных. В настоящей работе предложены подходы к преодолению части этих трудностей. Описано промежуточное представление, учитывающее особенности бинарного ...
Added: October 31, 2022
Kotlin с точки зрения разработчика статического анализатора
Afanasyev V., Поляков С. А., Бородин А. Е. et al., Труды Института системного программирования РАН 2021 Т. 33 № 6 С. 67–82
The paper describes a static analysis for finding defects and computing metrics for programs written in the Kotlin language. The analysis is implemented in the Svace static analyzer developed at ISP RAS. The paper focuses on the problems we met during implementation, the approaches we used to solve them, and the experimental results for the ...
Added: September 7, 2022
Virtuozzo Linux 8 и OpenVZ 8 — текущее состояние и планы
Silakov D., В кн.: СПО: от обучения до разработки. Объединённая конференция. Переславль-Залесский, 15–18 июня 2021 г. : сборник тезисов конференции.: М.: ООО «Макс Пресс», 2021. С. 144–146.
С целью упрощения поддержки, OpenVZ 7 изначально основывал- ся на ядре и пакетной базе Red Hat Enterprise Linux (RHEL). В 2019 году вышел RHEL 8, и уже более двух лет идут работы по переводу ядра и утилит OpenVZ на эту версию. В качестве первого шага, был налажен процесс сборки и обновления дистрибутива Virtuozzo Linux 8. ...
Added: January 31, 2022
СПО: от обучения до разработки. Объединённая конференция. Переславль-Залесский, 15–18 июня 2021 г. : сборник тезисов конференции
Silakov D., М.: ООО «Макс Пресс», 2021.
В книге собраны тезисы конференции, одобренные Программным комитетом объединённой конференции «СПО: от обучения до разработки». ...
Added: January 31, 2022
Статический анализ для поиска переполнения буфера: актуальные направления развития алгоритмов
Дудина И. А., Труды Института системного программирования РАН 2018 Т. 33 № 4 С. 21–30
В последние десятилетия переполнение буфера остаётся одним из главных источников программных ошибок и эксплуатируемых уязвимостей. Среди прочих подходов к устранению подобных дефектов активное развитие получили различные методы статического анализа. В работе рассматриваются основные подходы и инструменты, используемые для решения этой задачи, с целью выявить наиболее популярные методы и типы обнаруживаемых ошибок. Также исследованы наборы синтетических ...
Added: November 30, 2021
Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения
Бородин А. Е., Дудина И. А., Труды Института системного программирования РАН 2020 Т. 32 № 6 С. 87–100
В работе описывается внутрипроцедурный анализ отдельных функций, использующийся в инструменте статического поиска ошибок Svace. Отличительные особенности анализа: анализ по графу потока управления, символьное выполнение с объединением состояний анализа в точках слияния путей, анализ только части путей в функциях с циклами, одновременный запуск всех анализаторов, моделирование достижимых ячеек памяти, нумерация значений переменных. ...
Added: November 30, 2021
Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace.
Бородин А. Е., Горемыкин А. В., Вартанов С. П. et al., Труды Института системного программирования РАН. 2021 Т. 33 № 1 С. 7–32
В статье рассматривается поиск ошибок помеченных данных в исходном коде программ, т.е. ошибок, вызванных небезопасным использованием данных, полученных из внешних источников, которые потенциально могут быть изменены злоумышленником. В качестве основы использовался межпроцедурный статический анализатор Svace. Анализатор осуществляет как поиск дефектов в программе, так и поиск подозрительных мест, в которых логика программы может быть нарушена. Целью ...
Added: November 29, 2021
Обновление CentOS 7 до Virtuozzo Linux 8, или до CentOS 8, но с помощью инструментов Virtuozzo
Silakov D., Системный администратор 2021 № 1-2 С. 10–14
Проблема бесшовного перехода с одной версии CentOS на другую не теряет остроты со времен выхода CentOS 6. Выход CentOS 8 не привнес ничего нового - официальных инструментов обновления с CentOS 7 нет, а изменение отношения к дистрибутиву со стороны компании RedHat и вовсе заставляет задуматься, не выбрать ли другую альтернативу, также основанную на исходных кодах ...
Added: February 25, 2021
Разворачиваем и обслуживаем кластер Kubernetes с минимумом усилий
Silakov D., Системный администратор 2020 № 10 С. 28–31
Установка и настройка компонентов Kubernetes никогда не была сверхсложным делом, но и совсем тривиальной ее не назовешь. Традиционный подход с использованием kubeadm подразумевает изрядный набор ручных действий со стороны системного администратора ...
Added: October 13, 2020
Открытое решение Graylog. Cбор и анализ событий в сетях промышленных масштабов.
Silakov D., Системный администратор 2019 Т. 3 С. 24–29
Задача сбора и анализа всевозможных журналов с множества машин в подконтрольной системному администратору сети существует столько же, сколько компьютерные сети как таковые. За это время заметно эволюционировали (и революционно выросли в объеме) как сами собираемые данные, так и инструменты сбора. ...
Added: April 9, 2019
Apache Mesos. Знакомимся с конкурентом Kubernetes и Docker Swarm
Silakov D., Системный администратор 2018 № 10 С. 34–39
С ростом популярности контейнеризации приложений растет спрос на приложения, способные управлять большим количеством контейнеров. На слуху прежде всего Kubernetes и Docker Swarm. Однако у них есть и другие достойные открытые конкуренты. В этой статье мы рассмотрим Mesos, развиваемый фондом Apache ...
Added: February 20, 2019
Компонентная верификация операционных систем
Kuliamin V., Petrenko A. K., Khoroshilov A. V., Труды Института системного программирования РАН 2018 Т. 30 № 6 С. 367–382
В работе рассматриваются полученные недавно результаты на пути к полномасштабной верификации промышленно используемых операционных систем (ОС). Таковыми считаются не системы, разработанные в целях демонстрации определенной исследовательской идеи, а ОС, активно используемые в каких-то областях экономики и управленческой деятельности и развиваемые на протяжении значительного времени. Предлагается декомпозиция заявленной цели верификации промышленной ОС в целом на задачи ...
Added: February 14, 2019
ReadyKernel — инструментарий и сервис обновления ядра без перезагрузки на основе kpatch
Silakov D., В кн.: Тезисы докладов четырнадцатой конференции разработчиков свободных программ.: М.: ООО «Макс Пресс», 2017. С. 49–51.
Обновление ядра в Linux сопряжено с перезагрузкой системы, а следовательно - с временной недоступностью ее сервисов. Инструментарий kexec снижает время перехода на новое ядро, однако и при его использовании время недоступности системы может достигать десятков секунд. Для ряда пользователей даже десять секунд - достаточно заметное время простоя, которого хочется избежать. При этом ядро обновлять все-таки ...
Added: October 19, 2018
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit