Здравствуйте, Курилка, Вы писали:

К>Я не так чтоб сильно настоящий сварщик, но мне интересно, что за "грязные" функции в чистом λ-исчислении

Ну и бред же я написал Думая о λ-исчислении, я параллельно прикидывал подходы к динамическому анализу реального функционального кода, вот и... Поскольку входные и выходные данные в λ-исчислении кодируются при помощи λ-термов, а процесс непосредственно вычисления представляет собой последовательное применение правил редукции к ним, то аналогом конфигурации здесь будет промежуточное значение "недоредуцированного" выражения, как уже написал fin_81. И, следовательно, уязвимостью здесь будет достижимое значение выражения, последующая редукция которого приводит к нарушению свойств защищенности потока данных. Похоже, что так =/

К>какое отношение к этому имеют свободные переменные?

А разве можно считать чистой функцию, ссылающуюся на свободные переменные? Ведь любая из них может быть позднее связана с грязной функцией, что загрязнит и исходную. Или я неправильно понимаю смысл значений "свободная переменная" или "чистота функции"?