Актуальность технологии анализа программного кода объясняется необходимостью обеспечить требуемую безопасность приложений цифровой экономики Российской Федерации в условиях роста угроз безопасности и недостаточности известных моделей, методов и средств информационной безопасности и надежности ПО. При этом различают статический и динамический анализ кода программ. В ходе первого исследуется структура некоторой программной системы (спецификация, промежуточные модели, алгоритмы и листинг программ) на предмет ошибок и уязвимостей. В ходе второго, более сложного, изучается функционирование программной системы в реальных условиях эксплуатации, в том числе в условиях компьютерных атак злоумышленников. На практике статический анализ проводится над некоторой версией исходного кода программы или над кодом в некоторой промежуточной форме, независимой от исходного языка программирования, целевой машины и ее операционной системы: например, P-кодом или байт-кодом для виртуальных машин Java или байт-кодом CIL в платформе. NET и др. При этом обычно задействуются специальные инструментальные средства, возможности которых влияют на глубину анализа. Способы анализа кода также различны: от эвристик до формальных методов, направленных на получение математически строгих доказательств свойств безопасности и надежности исследуемого ПО. В статье рассматриваются востребованные сегодня технологии анализа кода программ.

< ... >