Література з аналізу псевдонімів


10

Я пишу магістерську роботу в КС і працюю з аналізом псевдонімів. Мене цікавить те, що це внутрішньопроцедурний, чутливий до потоку аналіз обов'язкових і псевдонімів для язиків, схожих на Java.

Я шукаю тексти, які детально описують основи цієї теми, але не змогли знайти нічого, що насправді підходить.

Я пережив низку підручників про компілятори та статичний аналіз, але там нічого не знайшов.

Я знайшов багато робіт, де використовується аналіз псевдонімів, але більшість з них зосереджена на проблемі, до якої застосовується аналіз псевдоніму, і не описує докладно алгоритми аналізу псевдонімів. Інші акцентують увагу на C, що не підходить через додаткову складність загальних покажчиків.

Найкращий текст, який я знайшов, - це документ Композиційний аналіз вказівників та втечі для програм Java від Whaley та Rinard. Це блискучий документ і хороша відправна точка, але він не обговорює конкретно псевдонімічний аналіз.

Проблема здається настільки загальною, тому я очікував, що для її вирішення будуть доступні канонічні алгоритми.

Хтось має вказівки на тексти на цю тему?

Відповіді:


9

У « Аналіз псевдонімів» для об’єктно-орієнтованих програм доступний зовсім недавній документ .

Він буде опублікований у квітні у найсучаснішому обсязі LNCS (безкоштовне рекламне сповіщення): Збудження об'єктно-орієнтованого програмування : типи, аналіз та перевірка. Конспекти лекцій з інформатики, Вип. 7850. Дейв Кларк, Тобіас Врігстад, Джеймс Ноубл (Ред.)


Це здається цікавим, дякую. Підхід, який вони описують, здається, не підходить для моїх потреб, але робота може привести мене до чогось іншого.
Лій
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.