| progr. |
статический анализ кода (набор методов анализа исходного текста или объектного кода программы (без его исполнения) с целью понять, что эта программа делает, и определить критерии правильности её функционирования (correctness criteria); также используется компилятором, чтобы собрать факты, полезные для оптимизации. Этот термин обычно относится к анализу, выполняемому при помощи автоматических инструментов; если анализ делает человек, которому нужно понять, как построена и как работает программа, это называется осмыслением программы (program understanding) или обозримостью программы (program comprehension) ssn) |
