개요
Field sensitive algorithm이란 구조체의 각각의 field (즉 구조체의 멤버 변수)들에 대한 포인터 참고를 추적하는 것이며, Field insensitive algorithm이란 구조체 전체를 퉁쳐서 계산하는 것을 말한다.
예를 들어서, Struct {Int f; Int g}; 란 구조체가 있다고 해보자.
p.f := &x p.g := &y
란 assignment가 있었을때, Field sensitive 알고리즘은 각 구조체의 field들이 어떤 포인터를 참조하는지 추적하지만, Field insensitive algorithm은 추적하지 않는다.