본 발명 의 일 특징 에 따른 프로그램 자동 분석 장치 는 , 분석 대상 프로그램 의 명령어 를 분석 하 고 상기 명령어 의 적어도 한번 이상 의 강제 수행 을 통해 프로그램 수행 정보 를 생성 하 는 자동 분석 엔진 과 , 상기 자동 분석 엔진 에 의해 생성 된 프로그램 수행 정보 를 저장 하 는 수행 정보 DB 와 , 상기 수행 정보 DB 에 저장 된 수행 정보 에 기반 하 여 상기 분석 대상 프로그램 의 수행 흐름 을 분석 하 는 수행 흐름 분석 부 와 , 상기 수행 흐름 분석 부 에 의해 분석 된 수행 흐름 정보 에 기초 하 여 사용 자 에게 수행 결과 를 제공 하 는 수행 결과 제 공부 를 포함 한다 .