정적 프로그램 분석(Static Program Analysis)은 프로그램을 실행하지 않고 프로그램의 run-time 행위 등을 분석하는 방법이기 때문에, 정적분석의 기술 차이(Inter vs. Intra procedural analysis)가 코드 점검의 정확도(accuracy)의 수준을 결정합니다.

Accuracy = (True Positive + True Negative) / (True Positive + False Negative + True Negative + False Positive)

특히, 높은 정확도는 오탐(False Positive), 미탐(False Negative)이 없으며, 낮은 정확도는 오탐(False Positive), 미탐(False Negative)이 많이 발생한다는 것입니다.
따라서, 1세대 정적분석도구인 Open Source 도구와 코딩 표준 가이드 점검 상용 도구 등은 정확도가 낮으며, 고급 또는 최상위 상용도구는 높은 정확도를 제공합니다.

첨부 참조) ˝정적분석의 기술 차이가 도구의 차이.pdf˝