Field sensitive algorithm 문서 원본 보기

[[분류: 프로그램 분석]]

== 개요 ==
Field sensitive algorithm이란 구조체의 각각의 field (즉 구조체의 멤버 변수)들에 대한 포인터 참고를 추적하는 것이며, Field insensitive algorithm이란 구조체 전체를 퉁쳐서 계산하는 것을 말한다. 

예를 들어서, Struct {Int f; Int g}; 란 구조체가 있다고 해보자. <br>
 p.f := &x
 p.g := &y
란 assignment가 있었을때, Field sensitive 알고리즘은 각 구조체의 field들이 어떤 포인터를 참조하는지 추적하지만, Field insensitive algorithm은 추적하지 않는다.