Program analysis is the general problem of examining a program and determining key characteristics (such as the absence of classes of program errors).
Анализ программы — общая проблема исследования программы и определения основных характеристик (таких как отсутствие ошибок в программе).