위키 링크: http://ko.wikipedia.org/wiki/%EC%A0%95%EC%A0%81_%ED%94%84%EB%A1%9C%EA%B7%B8%EB%9E%A8_%EB%B6%84%EC%84%9D Static Code Analysis 프로그램을 실제로 실행해보지 않고 분석하는 방법. 프로그램을 실행해보고 분석하는 방법인 동적 프로그램 분석과 반대. 사람 + 도구의 형태. 코딩 에러 검출부터 프로그램의 속성별 만족도를 수학적으로 증명하는 정형분석법까지 다양.