Literatur tentang analisis alias


10

Saya menulis tesis master saya di CS dan saya bekerja dengan analisis alias. Hal yang saya tertarik adalah intraprocedural, analisis aliran must-and-alias yang sensitif untuk bahasa mirip Java.

Saya mencari teks yang menggambarkan dasar-dasar dari subjek ini secara terperinci tetapi tidak dapat menemukan sesuatu yang benar-benar cocok.

Saya selamat dari sejumlah buku teks tentang kompiler dan analisis statis tetapi tidak menemukan apa pun di sana.

Saya telah menemukan banyak makalah di mana analisis alias digunakan, tetapi kebanyakan dari mereka berfokus pada masalah analisis alias yang diterapkan dan tidak menjelaskan algoritma analisis alias secara rinci. Lainnya fokus pada C yang tidak sesuai karena kompleksitas tambahan dari petunjuk umum.

Teks terbaik yang saya temukan adalah kertas Pointer Komposisi dan Analisis Escape untuk Program Java oleh Whaley dan Rinard. Ini adalah makalah yang brilian dan titik awal yang baik tetapi tidak membahas analisis alias secara khusus.

Masalahnya tampak begitu umum sehingga saya berharap akan ada beberapa algoritma kanonik yang tersedia untuk menyelesaikannya.

Apakah ada yang punya petunjuk teks pada subjek ini?

Jawaban:


9

Ada makalah survei terbaru yang tersedia tentang Analisis Alias ​​untuk Program Berorientasi Objek .

It will be published in April in the LNCS state-of-the-art volume (gratuitous advertising alert): Aliasing in Object-Oriented Programming: Types, Analysis and Verification. Lecture Notes in Computer Science, Vol. 7850. Dave Clarke, Tobias Wrigstad, James Noble (Eds.)


This seems interesting, thank you. The approach they describe doesn't seem to be spot on for my needs, but the paper might lead me to something else.
Lii
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.