Я пишу магістерську роботу в КС і працюю з аналізом псевдонімів. Мене цікавить те, що це внутрішньопроцедурний, чутливий до потоку аналіз обов'язкових і псевдонімів для язиків, схожих на Java.
Я шукаю тексти, які детально описують основи цієї теми, але не змогли знайти нічого, що насправді підходить.
Я пережив низку підручників про компілятори та статичний аналіз, але там нічого не знайшов.
Я знайшов багато робіт, де використовується аналіз псевдонімів, але більшість з них зосереджена на проблемі, до якої застосовується аналіз псевдоніму, і не описує докладно алгоритми аналізу псевдонімів. Інші акцентують увагу на C, що не підходить через додаткову складність загальних покажчиків.
Найкращий текст, який я знайшов, - це документ Композиційний аналіз вказівників та втечі для програм Java від Whaley та Rinard. Це блискучий документ і хороша відправна точка, але він не обговорює конкретно псевдонімічний аналіз.
Проблема здається настільки загальною, тому я очікував, що для її вирішення будуть доступні канонічні алгоритми.
Хтось має вказівки на тексти на цю тему?