| 1 |
1
서로 다른 아키텍처를 가지는 제1 바이너리 및 제2 바이너리에 대한 이진 비교를 수행하는 컴퓨팅 장치에서 수행되는 이진 비교 방법으로서,상기 제1 바이너리 및 상기 제2 바이너리에 포함된 함수 각각에 대하여 함수 특징을 추출하고, 추출된 상기 함수 특징에 대응하여 원샷 인코딩 벡터를 생성하는 단계;상기 제1 바이너리에서 추출된 제1 원샷 인코딩 벡터와, 상기 제2 바이너리에서 추출된 제2 원샷 인코딩 벡터를 비교하여 벡터 공간에서 일대일 매핑을 수행하는 단계; 및중간 표현 intermediate representation)을 이용하여, 일대일 매핑된 한 쌍의 함수 간에 의미적 유사성을 계산하여 상호 매칭 여부를 판단하는 단계;를 포함하는 교차 아키텍처 바이너리에 대한 이진 비교 방법
|
| 2 |
2
제1항에 있어서, 상기 원샷 인코딩 벡터를 생성하는 단계는, 추출된 상기 함수 특징을 벡터로 전치하는 단계; 및전치된 벡터를 연결하여 원샷 인코딩 벡터를 생성하는 단계;를 포함하는 교차 아키텍처 바이너리에 대한 이진 비교 방법
|
| 3 |
3
제1항에 있어서, 상기 일대일 매핑을 수행하는 단계는, 상기 제1 원샷 인코딩 벡터를 기준으로, 상기 제1 원샷 인코딩 벡터와 최소 거리를 가지는 상기 제2 원샷 인코딩 벡터를 선별하는 단계; 및선별된 제2 원샷 인코딩 벡터를 상기 제1 원샷 인코딩 벡터와 일대일 매핑하는 단계;를 포함하는 교차 아키텍처 바이너리에 대한 이진 비교 방법
|
| 4 |
4
제3항에 있어서, 상기 선별된 제2 원샷 인코딩 벡터는, 상기 제1 원샷 인코딩 벡터와 최소 코사인 거리를 가지는 것인교차 아키텍처 바이너리에 대한 이진 비교 방법
|
| 5 |
5
제1항에 있어서, 상기 의미적 유사성을 계산하여 상호 매칭 여부를 판단하는 단계는, 일대일 매칭된 한 쌍의 함수 각각에 대하여, 중간 표현 토큰을 생성하는 단계;상기 한 쌍의 함수 각각에 대하여, 생성된 중간 표현 토큰을 기초로 함수 벡터를 계산하는 단계; 및기 설정된 매칭 알고리즘에 따라, 함수 벡터 간의 일치 정도를 기초로 매칭 여부를 판단하는 단계; 를 포함하는 교차 아키텍처 바이너리에 대한 이진 비교 방법
|
| 6 |
6
제5항에 있어서, 상기 매칭 알고리즘은,원샷 인코딩 벡터 간의 거리가 0인 대상으로 하는 1순위 전부 매칭 설정; 및원샷 인코딩 벡터 간의 거리가 0보다 크고 임계값 보다 작고, 중간 표현에서의 의미적 유사성이 일정 이상인 경우를 대상으로 하는 제2 부분 매칭 설정;을 포함하는 교차 아키텍처 바이너리에 대한 이진 비교 방법
|
| 7 |
7
제6항에 있어서, 상기 원샷 인코딩 벡터 간의 거리는 코사인 거리 행렬로부터 결정되고,상기 의미적 유사성은 유클리드 거리로부터 결정되는 교차 아키텍처 바이너리에 대한 이진 비교 방법
|
| 8 |
8
서로 다른 아키텍처를 가지는 제1 바이너리 및 제2 바이너리에 대한 이진 비교를 수행하는 컴퓨팅 장치에서 수행되는 교차 아키텍처 바이너리에 대한 이진 비교 방법을 실행시키기 위한 컴퓨터 프로그램을 기록한 컴퓨터 판독 가능 저장 매체로서,상기 제1 바이너리 및 상기 제2 바이너리에 포함된 함수 각각에 대하여 함수 특징을 추출하고, 추출된 상기 함수 특징에 대응하여 원샷 인코딩 벡터를 생성하는 기능;상기 제1 바이너리에서 추출된 제1 원샷 인코딩 벡터와, 상기 제2 바이너리에서 추출된 제2 원샷 인코딩 벡터를 비교하여 벡터 공간에서 일대일 매핑을 수행하는 기능; 및중간 표현 intermediate representation)을 이용하여, 일대일 매핑된 한 쌍의 함수 간에 의미적 유사성을 계산하여 상호 매칭 여부를 판단하는 기능;을 포함하는 컴퓨터로 읽을 수 있는 저장매체
|
| 9 |
9
제8항에 있어서, 상기 원샷 인코딩 벡터를 생성하는 기능은, 추출된 상기 함수 특징을 벡터로 전치하는 기능; 및전치된 벡터를 연결하여 원샷 인코딩 벡터를 생성하는 기능;을 포함하는 컴퓨터로 읽을 수 있는 저장매체
|
| 10 |
10
제8항에 있어서, 상기 일대일 매핑을 수행하는 단계는, 상기 제1 원샷 인코딩 벡터를 기준으로, 상기 제1 원샷 인코딩 벡터와 최소 거리를 가지는 상기 제2 원샷 인코딩 벡터를 선별하는 기능; 및선별된 제2 원샷 인코딩 벡터를 상기 제1 원샷 인코딩 벡터와 일대일 매핑하는 기능; 을 포함하는 컴퓨터로 읽을 수 있는 저장매체
|
| 11 |
11
제8항에 있어서, 상기 의미적 유사성을 계산하여 상호 매칭 여부를 판단하는 단계는, 일대일 매칭된 한 쌍의 함수 각각에 대하여, 중간 표현 토큰을 생성하는 기능;상기 한 쌍의 함수 각각에 대하여, 생성된 중간 표현 토큰을 기초로 함수 벡터를 계산하는 기능; 및기 설정된 매칭 알고리즘에 따라, 함수 벡터 간의 일치 정도를 기초로 매칭 여부를 판단하는 기능;을 포함하는 컴퓨터로 읽을 수 있는 저장매체
|
| 12 |
12
제11항에 있어서, 상기 매칭 알고리즘은,원샷 인코딩 벡터 간의 거리가 0인 대상으로 하는 1순위 전부 매칭 설정; 및원샷 인코딩 벡터 간의 거리가 0보다 크고 임계값 보다 작고, 중간 표현에서의 의미적 유사성이 일정 이상인 경우를 대상으로 하는 제2 부분 매칭 설정;을 포함하는 컴퓨터로 읽을 수 있는 저장매체
|
