Field sensitive algorithm

개요

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은 추적하지 않는다.