가능한 기호 격자 기반 값 분석

이 논문은 프로그램의 각 변수와 메모리 셀에 대한 가능한 기호 표현을 계산하는 새로운 정적 프로그램 분석 기법을 제안한다.