12) 정적 프로그램 분석(static program analysis)은 무엇을 말하나요?실제 실행 없이 컴퓨터 소프트웨어를 분석하는 것을 말한다. 대부분의 경우에 분석은 소스 ... 의 이해를 통해 인간에 의한 자동화된 툴을 사용한 분석, 또는 코드 검토에 적용된다. 소프트웨어 조사와 소프트웨어 검토는 후자의 경우에 사용된다.13) 정적프로그램 분석에서 정형 방법 ... 론은 어떤 방법론을 말하나요?정형 방법론은 그것의 결과가 순수하게 엄격한 수학적 방법론을 통해 얻어지는, 소프트웨어 분석에 적용되는 용어이다. 정지 문제에 대한 간단한 축소판