Tôi đang viết luận án thạc sĩ về CS và tôi đang làm việc với phân tích bí danh. Điều mà tôi quan tâm là phân tích nội bộ, phân tích nhạy cảm dòng chảy và phân biệt có thể cho các ngôn ngữ giống như Java.
Tôi đang tìm kiếm các văn bản mô tả những điều cơ bản của chủ đề này một cách chi tiết nhưng không thể tìm thấy bất cứ điều gì thực sự phù hợp.
Tôi đã sống sót qua một số sách giáo khoa về trình biên dịch và phân tích tĩnh nhưng không tìm thấy gì ở đó.
Tôi đã tìm thấy nhiều bài báo sử dụng phân tích bí danh, nhưng hầu hết chúng đều tập trung vào vấn đề phân tích bí danh được áp dụng và không mô tả chi tiết các thuật toán phân tích bí danh. Những người khác tập trung vào C không phù hợp vì sự phức tạp thêm của con trỏ chung.
Văn bản tốt nhất mà tôi đã tìm thấy là Bài viết Phân tích con trỏ và thoát cho các chương trình Java của Whaley và Rinard. Đó là một bài báo xuất sắc và một điểm khởi đầu tốt nhưng nó không thảo luận cụ thể về phân tích bí danh.
Vấn đề có vẻ rất chung chung nên tôi dự kiến sẽ có một số thuật toán chính tắc có sẵn để giải quyết nó.
Có ai có bất kỳ con trỏ đến các văn bản về chủ đề này?