인터프리터...18

정적 구문 검사

컴파일러의 경우 컴파일 시 프로그램이 문법에 맞게 작성되었는 지를 검사한다. 그러나 인터프리터는 실행 시 구문 검사를 실행하게 되는데 복잡한 프로그램의 경우 적합한지에 대한 판단이 지연될 수 있다.

 

이를 방지하기 위해 실행 전 정적 검사가 필요하며 정적 검사 항목은 다음과 같다.

• 제어문의 구조 검사 블록 구성으로 함께 검사한다.
• 함수 정의 위치 검사 함수안에서 다른 함수를 정의하거나 문 안에서 함수를 정의하는 것을 검사한다.
• break와 return의 위치 검사 함수 혹은 반복문 내부에서 사용되었는지 검사한다.
• 식의 검사 연산자와 값이 적절한 위치 및 개수로 작성되었는지 검사한다.

 

참고문헌

만들면서 배우는 인터프리터하야시 하루히코 상세보기