프로그램 분석 분류

 

 

실행방식에 따른 구분	정적	동적
실행방식	분석기 (에뮬레이터|인터프리터)	실행기 (인터프리터|리얼머신)
문제점	경로 폭발	단일 경로로 분석이 제한

 

분석방식에 따른 구분	컨크릿	심볼릭
분석방식	상수 조건을 축적	기호화 된 논리 조건을 축적
경로탐색	상수 조건에 따라 결정	논리 조건에 따라 결정

 

정적 컨트릿 분석 == 정적분석.

동적 컨크릿 분석 == 테스트케이스.

정적 심볼릭 분석 == 심볼릭 실행.

동적 심볼릭 분석 == 컨클릭 실행.

 

라고 생각하면 된다.

 

이 네 가지 경우의 수가 헤깔리는 이유는,
대부분의 프로그램 분석 툴들이 실행 엔진과 함께 다수의 메커니즘을 혼용해 쓰기 때문이다.
하지만 각 조합마다 장단점 및 한계점은 명확하기 때문에 정확한 판단을 내리려면 정확하게 분리해서 사고하는게 좋다.