CS에서 석사 논문을 작성하고 있으며 별칭 분석을 진행하고 있습니다. 내가 관심이있는 것은 Java와 같은 언어에 대한 절차 내, 흐름에 민감한 필수 및 May-alias 분석입니다.
이 주제의 기본 사항을 자세하게 설명하는 텍스트를 찾고 있지만 실제로 적합한 것을 찾지 못했습니다.
나는 컴파일러와 정적 분석에 관한 많은 교과서에서 살아남 았지만 거기에서 아무것도 찾지 못했습니다.
별칭 분석이 사용되는 많은 논문을 찾았지만 대부분은 별칭 분석이 적용되는 문제에 중점을두고 별칭 분석 알고리즘을 자세히 설명하지 않습니다. 다른 사람들은 일반적인 포인터의 복잡성이 추가되어 적합하지 않은 C에 중점을 둡니다.
내가 찾은 최고의 텍스트는 Whaley and Rinard의 Java 프로그램 에 대한 Compositional Pointer and Escape Analysis 논문입니다. 훌륭한 논문이자 좋은 출발점이지만 별명 분석에 대해서는 다루지 않습니다.
문제가 너무 일반적으로 보이므로 해결할 수있는 표준 알고리즘이있을 것으로 예상했습니다.
누구든지이 주제에 관한 글을 가리키는 사람이 있습니까?