프로그램 제어 흐름 그래프 재건 시스템 및 방법

출원번호 : 10-2020-0180756 (출원일: 2020-12-22)

등록번호 : 10-2461532 (등록일: 2022-10-27)

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

요약 : 본 기술은 프로그램 제어 흐름 그래프 재건 시스템 및 방법에 관한 것이다. 본 기술의 구현 예에 따르면, 요약 해석을 사용하여 제어 흐름 그래프를 재건함으로써 오버헤드가 줄어든 프로그램 제어 흐름 그래프 재건 시스템 및 방법을 제공할 수 있는 이점이 있다.

대표청구항 : 메모리 위치 분석을 통해 프로그램의 각 변수들이 가질 수 있는 값을 조사하는 변수 조사부;상기 프로그램의 명령어의 피연산자의 값을 요약 해석하여 정의하는 요약 해석부; 및상기 변수 조사부에서 조사된 값과 상기 요약 해석부에서 정의된 예외 발생 값의 요약 해석에 따라 제어 흐름 그래프를 재건하는 그래프 재건부;를 포함하고,상기 요약 해석부는,상기 변수 조사부에서 조사된 값을 이용하여 피연산자의 값의 범위를 식별하고, 식별된 피연산자 값의 범위에 예외 발생 값이 존재하는지를 기준으로 피연산자의 값을 요약 해석하여 정의하고,상기 그래프 재건부는, 상기 요약 해석부에서 정의된 피연산자의 요약 해석 중 예외 발생 값을 포함하는 것을 구분하고, 예외를 발생시키는 피연산자에 대한 그래프 간선을 생성하여,예외를 포함하는 제어 흐름 그래프를 재건하고, 예외를 발생시키는 피연산자에 대한 그래프 간선을 생성 시 예외 발생 값을 포함하는 피연산자의 요약 해석에 대한 경로만을 고려하여 시간적 오버헤드를 줄일 수 있는 것을 특징으로 하는 프로그램 제어 흐름 그래프 재건 시스템.

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