Анализ значений переменных после выполнения программного кода