Сдвиг Тесея: абстрактная область происхождения битов Toy Bit

В статье рассматривается концепция абстрактной интерпретации для отслеживания происхождения битов данных (bit provenance) в контексте анализа программ. Подход, названный «Сдвиг Тесея», вероятно, посвящен методам точного или аппроксимированного отслеживания влияния входных данных на выходные биты, что является важной задачей в статическом анализе и верификации кода.