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