정적 프로그램 분석

1 개요[편집]

static program analysis; static analysis
정적 프로그램 분석, 정적 코드 분석; 정적 분석
  • 컴퓨터 소프트웨어를 분석하는 방법 가운데 하나
  • 프로그램을 수행시키지 않고 프로그램을 평가하는 분석
  • 원시코드의 구조적 특징, 설계 사양 혹은 잘 정의된 구문 법칙과 일치하는 임의의 표기법을 이용한 표현을 평가하는 기법
  • 주로 소스코드를 가지고 분석 수행
목적코드를 가지고 분석하는 경우도 있음
  • 주로 어느 정도 자동화된 도구를 이용해서 분석함

2 주요 항목[편집]

  • 초기화되지 않은 변수
  • 실제 매개변수와 형식 매개변수 사이에서의 불일치
  • 문제성이 있는 코딩
  • 코딩 표준 미준수

3 같이 보기[편집]

4 참고[편집]