개요

Context sensitive algorithm이란, context에서 변수가 분석되는 알고리즘을 말한다. Context란 program의 어떤 위치에서 변수가 사용되었는지를 의미한다. 예를 들어서 malloc()이라는 함수가 프로그램의 다른 위치에서 쓰였다고 하자. Context insensitive 알고리즘은 malloc이라는 함수를 context와 상관없이 분석하지만, context sensitive 알고리즘은 각 malloc이 호출된 context에서 malloc이라는 함수를 분석한다.