맞춤기술찾기

홈으로 가기
맞춤기술찾기
이전대상기술
프린트하기

이전대상기술

바이너리 분석을 위한 중간 언어 테스트 방법 및 장치

  • 기술번호 : KST2020004679
  • 담당센터 : 대전기술혁신센터
  • 전화번호 : 042-610-2279
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 바이너리 분석을 위한 중간 언어 테스트 방법 및 장치가 개시된다. 중간 언어 테스트 방법은, 프로그램의 기계어를 중간 언어(Intermediate Representation)로 번역하는 리프터(lifter)를 검증하기 위한 것으로, 중앙 처리 장치(CPU)의 아키텍쳐(Architecture)에 대한 명령어를 생성하는 단계; 복수 개의 리프터를 이용하여 상기 생성된 명령어를 중간 언어로 번역하는 단계; 상기 번역된 중간 언어를 하나의 통일된 중간 언어로 변환하는 단계; 상기 변환된 명령어를 요약하는 단계; 및 상기 요약된 명령어를 서로 비교하여 오류를 찾아내는 단계를 포함한다.
Int. CL G06F 11/36 (2006.01.01) G06F 8/40 (2018.01.01)
CPC G06F 11/3696(2013.01) G06F 11/3696(2013.01) G06F 11/3696(2013.01)
출원번호/일자 1020180129616 (2018.10.29)
출원인 한국과학기술원
등록번호/일자
공개번호/일자 10-2020-0048016 (2020.05.08) 문서열기
공고번호/일자 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 등록
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2018.10.29)
심사청구항수 2

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 한국과학기술원 대한민국 대전광역시 유성구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 차상길 대전광역시 유성구
2 김수민 대전광역시 유성구
3 오동엽 대전광역시 유성구
4 정승일 대전광역시 유성구
5 정민규 대전광역시 유성구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 양성보 대한민국 서울특별시 강남구 선릉로***길 ** (논현동) 삼성빌딩 *층(피앤티특허법률사무소)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 한국과학기술원 대한민국 대전광역시 유성구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application		 2018.10.29 수리 (Accepted) 1-1-2018-1064839-15
2 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2019.04.24 수리 (Accepted) 4-1-2019-5081392-49
3 의견제출통지서
Notification of reason for refusal		 2019.12.14 발송처리완료 (Completion of Transmission) 9-5-2019-0905405-10
4 [공지예외적용 보완 증명서류]서류제출서
 2019.12.16 수리 (Accepted) 1-1-2019-1295606-81
5 [출원서 등 보완]보정서
 2019.12.16 수리 (Accepted) 1-1-2019-1295605-35
6 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment		 2020.01.31 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2020-0103759-45
7 [거절이유 등 통지에 따른 의견]의견(답변, 소명)서
[Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation)		 2020.01.31 수리 (Accepted) 1-1-2020-0103758-00
8 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2020.05.15 수리 (Accepted) 4-1-2020-5108396-12
9 등록결정서
Decision to grant		 2020.05.21 발송처리완료 (Completion of Transmission) 9-5-2020-0350236-52
10 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2020.06.12 수리 (Accepted) 4-1-2020-5131486-63
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
컴퓨터로 구현되는 중간 언어 테스트 방법에 있어서,프로그램의 기계어를 중간 언어(Intermediate Representation)로 번역하는 리프터(lifter)를 검증하기 위한 것으로,테스트하고자 하는 복수 개의 리프터와 중앙 처리 장치(CPU)를 입력으로 하여 상기 복수 개의 리프터가 서로 다른 결과를 도출한 기계어의 목록을 출력으로 제공하는 단계를 포함하고,상기 제공하는 단계는,상기 중앙 처리 장치의 아키텍쳐(Architecture)에 대한 명령어를 생성하는 단계;상기 복수 개의 리프터를 이용하여 상기 생성된 명령어를 중간 언어로 번역하는 단계;상기 번역된 중간 언어를 하나의 통일된 중간 언어로 변환하는 단계;상기 변환된 중간 언어를 요약하는 단계; 및상기 요약된 중간 연어를 서로 비교하여 오류를 찾아내는 단계를 포함하고,상기 생성하는 단계는,기계어를 생성하는 프로그램 모듈로서 상기 중앙 처리 장치의 ISA(Instruction Set Architecture) 매뉴얼을 참조하여 만들어진 모듈을 이용하여 해당 아키텍쳐의 명령어를 순차적으로 생성하고,상기 번역하는 단계는,입력과 출력이 각각 기계어와 중간 언어인 모듈인 상기 리프터를 이용하여 중간 언어로 표현된 명령어를 만들고,상기 변환하는 단계는,상기 번역된 중간 언어를 정수 연산을 지원하는 UIR(Unified Intermediate Representation)로 변환하고,상기 요약하는 단계는,상기 변환된 중간 언어에 대한 데이터 흐름 분석을 통해 UD 체인(Use-Def Chain)을 만들고 상기 UD 체인을 이용하여 해당 명령어의 입력 인자와 출력 인자를 알아낸 후,기호 실행(Symbolic Execution)을 통해 상기 출력 인자를 상기 입력 인자에 관한 식으로 표현함으로써 상기 변환된 중간 언어의 의미를 요약하고,상기 찾아내는 단계는,같은 명령어에 대해 서로 다른 요약이 존재하는 경우 상기 복수 개의 리프터 중 번역 오류가 있는 리프터가 있는 것으로 판단하고,상기 ISA 매뉴얼을 참조하여 상기 복수 개의 리프터 중 상기 번역 오류가 있는 리프터를 찾는 것을 특징으로 하는 중간 언어 테스트 방법
2 2
삭제
3 3
삭제
4 4
삭제
5 5
삭제
6 6
삭제
7 7
삭제
8 8
컴퓨터로 구현되는 중간 언어 테스트 장치에 있어서,메모리에 포함된 컴퓨터 판독가능한 명령들을 실행하도록 구성된 적어도 하나의 프로세서를 포함하고,상기 적어도 하나의 프로세서는,프로그램의 기계어를 중간 언어로 번역하는 리프터를 검증하기 위한 것으로,테스트하고자 하는 복수 개의 리프터와 중앙 처리 장치(CPU)를 입력으로 하여 상기 복수 개의 리프터가 서로 다른 결과를 도출한 기계어의 목록을 출력으로 제공하는 과정을 처리하고,상기 제공하는 과정은,상기 중앙 처리 장치의 아키텍쳐에 대한 명령어를 생성하는 과정;상기 복수 개의 리프터를 이용하여 상기 생성된 명령어를 중간 언어로 번역하는 과정;상기 번역된 중간 언어를 하나의 통일된 중간 언어로 변환하는 과정;상기 변환된 중간 언어를 요약하는 과정; 및상기 요약된 중간 언어를 서로 비교하여 오류를 찾아내는 과정을 포함하고,상기 생성하는 과정은,기계어를 생성하는 프로그램 모듈로서 상기 중앙 처리 장치의 ISA 매뉴얼을 참조하여 만들어진 모듈을 이용하여 해당 아키텍쳐의 명령어를 순차적으로 생성하고,상기 번역하는 과정은,입력과 출력이 각각 기계어와 중간 언어인 모듈인 상기 리프터를 이용하여 중간 언어로 표현된 명령어를 만들고,상기 변환하는 과정은,상기 번역된 중간 언어를 정수 연산을 지원하는 UIR로 변환하고,상기 요약하는 과정은,상기 변환된 중간 언어에 대한 데이터 흐름 분석을 통해 UD 체인을 만들고 상기 UD 체인을 이용하여 해당 명령어의 입력 인자와 출력 인자를 알아낸 후,기호 실행을 통해 상기 출력 인자를 상기 입력 인자에 관한 식으로 표현함으로써 상기 변환된 중간 언어의 의미를 요약하고,상기 찾아내는 과정은,같은 명령어에 대해 서로 다른 요약이 존재하는 경우 상기 복수 개의 리프터 중 번역 오류가 있는 리프터가 있는 것으로 판단하고,상기 ISA 매뉴얼을 참조하여 상기 복수 개의 리프터 중 상기 번역 오류가 있는 리프터를 찾는 것을 특징으로 하는 중간 언어 테스트 장치
9 9
삭제
10 10
삭제
11 11
삭제
12 12
삭제
13 13
삭제
14 14
삭제
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 과학기술정보통신부 한국과학기술원 정보보호핵심원천기술개발(정진) 바이너리 코드 분석을 통한 자동화된 역공학 및 취약점 탐지 기반기술 개발