가치범위분석

Value range analysis

컴퓨팅, 특히 컴파일러 구성에서 값 범위 분석은 프로그램 실행의 각 지점에서 숫자 변수가 취할 수 있는 값의 범위(간격)를 추적하는 데이터 흐름 분석의 한 유형이다.[1]결과 정보는 중복 제거, 데드코드 제거, 명령 선택 등과 같은 최적화에 사용할 수 있지만, 버퍼 오버런 검출 등 프로그램의 안전성을 향상시키는 데도 사용할 수 있다.[2]가치 범위 분석 기법은 일반적으로 심볼 분석을 광범위하게 사용한다.[3]

가치 범위 분석은 Intel C++ 컴파일러에서 구현되는 경우가 많으며 GCC에서 구현된다.[citation needed]

참조

  1. ^ Harrison, William H. (1977). "Compiler Analysis of the Value Ranges for Variables". IEEE Transactions on Software Engineering. 3 (3): 243–250. doi:10.1109/TSE.1977.231133. S2CID 17018610.
  2. ^ Wagner, D.; Foster, J. S.; Brewer, E. A.; Aiken, A. (2000). A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. NDSS.
  3. ^ Birch, Johnnie; van Engelen, Robert; Gallivan, Kyle. "Value Range Analysis of Conditionally Updated Variables and Pointers" (PDF).