맥락 민감 동기화 민감 분석은 결정 불가능하다

정적 프로그램 분석은 프로그램의 런타임 동작에 대한 근사값 계산과 관련이 있다. 일반적으로 프로그램의 런타임 동작에 대한 정확한 정보는 다양한 이유로 인해 계산할 수 없으며, 각 이유는 계산된 정보에서 특정 근사를 만드는 것을 필요로 할 수 있다. 이 기사는 동시 프로그램의 정적 분석에서의 어려움의 한 출처를 설명한다. 구체적으로, 이 기사는 동기화 구문이 프로그램의 실행 순서에 부과하는 제약을 정확하게 고려하는 맥락 민감 분석이 가장 단순한 분석 문제조차 불가능하다는 것을 보여준다.