프로그램 동적 분석 장치 및 그 방법

출원번호 : 10-2018-0169833 (출원일: 2018-12-26)

등록번호 : 10-2195906 (등록일: 2020-12-21)

특허권자 : 충남대학교산학협력단

요약 : 프로그램 동적 분석 장치 및 방법이 개시된다. 본 발명의 일 실시예에 따른 프로그램 동적 분석 장치는, 바이너리 프로그램을 동적 분석하여 콜 트레이스(call trace)를 획득하는 동적 분석부, 상기 콜 트레이스를 기반으로 상기 바이너리 프로그램의 테인트(taint)에 대한 정적 분석을 수행하여 의존 그래프를 생성하는 정적 분석부, 상기 의존 그래프를 기반으로 상기 바이너리 프로그램을 동적 역방향 분석을 수행하여, 상기 바이너리 프로그램의 입력과 관련 여부에 대한 결과를 출력하는 동적 역방향 분석부를 포함한다.

대표청구항 : 바이너리 프로그램을 동적 분석하여 콜 트레이스(call trace)를 획득하는 동적 분석부; 상기 콜 트레이스를 기반으로 상기 바이너리 프로그램의 테인트(taint)에 대한 정적 분석을 수행하여 복수개의 노드를 포함하는 의존 그래프를 생성하는 정적 분석부; 및레지스터 값 및 메모리 정보에 기초하여 상기 의존 그래프에서 특정 노드를 제거하기 위한 가지치기를 수행하고, 상기 가지치기된 의존 그래프를 기반으로 상기 바이너리 프로그램을 동적 역방향 분석을 수행하여, 상기 바이너리 프로그램의 입력과 관련 여부에 대한 결과를 출력하는 동적 역방향 분석부를 포함하고,상기 특정 노드는 특정 명령어에 도달 가능한 복수개의 정의(definition)들 중에서 상기 특정 명령어를 위해 사용되지 않는 정의와 상기 특정 명령어의 관계에 대응되는 노드인 것을 특징으로 하는 프로그램 동적 분석 장치.

상세링크 : http://newsd.wips.co.kr/wipslink/api/dkrdshtm.wips?skey=3520532000378