별칭 분석 대 포인터 분석 대 지점 간 분석

Question

현재 정적 코드 분석에 대해 많이 읽습니다. 그 차이가 무엇인지 정말로 알 수 없기 때문에 저를 혼란스럽게하는 용어가 몇 가지 있습니다.

• 별칭 분석
• 포인터 분석

그들 사이의 차이는 (있는 경우)이란 분석 포인트 - 투?

Answer 1

Pointer analysis 또는 points-to analysis은 이 포인터 변수 또는 표현식 값에 대한 정보를 결정하는 정적 프로그램 분석입니다.

비록 용어가 완전히 일치하지는 않지만, pointer analysis 은 alias analysis과 거의 동의어입니다. 는 반면에, 그러나, pointer/points-to analysis은 일반적으로 힙의 객체 모델을 시도하고 묻는 "무엇 수있는 변수 포인트 객체?", alias analysis 알고리즘 의 문제에 초점 "/ 표현 (같은 객체를 변수 쌍을 가리킬 수 있습니다 별칭)? "