Я пишу магистерскую диссертацию по CS и работаю с анализом псевдонимов. То, что меня интересует, - это внутрипроцедурный, чувствительный к потоку анализ обязательных и возможных псевдонимов для подобных Java языков.
Я ищу тексты, которые подробно описывают основы этого предмета, но не смогли найти ничего действительно подходящего.
Я пережил много учебников по компиляторам и статическому анализу, но ничего там не нашел.
Я нашел много работ, в которых используется анализ псевдонимов, но большинство из них посвящены проблеме, к которой применяется анализ псевдонимов, и не описывают алгоритмы анализа псевдонимов в деталях. Другие сосредотачиваются на C, который не подходит из-за дополнительной сложности общих указателей.
Лучший текст, который я нашел, - это статья « Составной указатель и анализ побега для программ Java » Уэйли и Ринарда. Это блестящая статья и хорошая отправная точка, но в ней специально не обсуждается анализ псевдонимов.
Проблема кажется настолько общей, что я ожидал, что для ее решения будут доступны некоторые канонические алгоритмы.
У кого-нибудь есть ссылки на тексты на эту тему?