제7항에 있어서,상기 함수 심볼은 컴파일 과정에서 소실한 함수명인, 연산 장치.

적어도 하나의 프로세서를 구비하는 연산 장치에서 트랜스포머에 기반한 함수 심볼 추론 모델을 통해 어셈블리 코드에서 함수 심볼을 추론하는 방법에 관한 것으로,상기 어셈블리 코드를 상기 추론 모델의 입력으로 사용하고자 코드 정규화(Normalization)없이 BPE(Byte-Pair-Encoding) 토큰화하는 단계; 그리고상기 입력에 기초해 상기 함수 심볼을 추론하는 단계;를 포함하고,상기 추론 모델은,인코더 및 디코더의 각 레이어 개수가 2 내지 4개이고, 각 레이어에서 입력 토큰에서 유사한 토큰을 그룹화한 다음 각각을 유사한 토큰들을 그룹화했을 때 해당 그룹을 대표하는 고유 값의 합계로 나누어 상기 입력 토큰을 정규화하고,상기 인코더의 각 레이어마다 위치 임베딩(positional embedding)이 적용되는,어셈블리 코드에서 함수 심볼을 추론하는 방법.

제1항에 있어서,상기 추론하는 단계에서,(A) 상기 인코더는 어셈블리 코드 임베딩 및 상기 위치 임베딩을 가져오면, 어셈블리 시퀀스 내에서 어텐션 값을 계산하여 디코더로 전달하고,(B) 상기 디코더는 디코더의 토큰 임베딩과 인코더-디코더의 토큰 임베딩을 모두 사용하여 어텐션 값을 계산하며, 상기 (A) 및 (B) 과정은 상기 추론 모델이 [EOS]를 추론할 때까지 반복되는,어셈블리 코드에서 함수 심볼을 추론하는 방법.

제2항에 있어서,상기 (B) 과정에서, 상기 디코더는 상기 어텐션 값을 계산할 때, 상기 위치 임베딩을 적용하지 않는,어셈블리 코드에서 함수 심볼을 추론하는 방법.

제1항에 있어서,상기 인코더 및 디코더의 각 레이어 개수는 3인 어셈블리 코드에서 함수 심볼을 추론하는 방법.

제1항에 있어서,상기 함수 심볼은 컴파일 과정에서 소실한 함수명인, 어셈블리 코드에서 함수 심볼을 추론하는 방법.

제1항 내지 제5항 중 어느 한 항에 기재된 어셈블리 코드에서 함수 심볼을 추론하는 방법을 컴퓨터에서 실행시키기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록매체.

트랜스포머에 기반한 함수 심볼 추론 모델을 저장하는 메모리; 및상기 함수 심볼 추론 모델을 실행해 입력으로부터 결과를 추론하는 프로세서;를 포함하고,상기 함수 심볼 추론 모델은,상기 추론 모델은,인코더 및 디코더의 각 레이어 개수가 2 내지 4개이고, 각 레이어에서 입력토큰에서 유사한 토큰을 그룹화한 다음 각각을 유사한 토큰들을 그룹화했을 때 해당 그룹을 대표하는 고유 값의 합계로 나누어 상기 입력 토큰을 정규화하고,상기 인코더의 각 레이어마다 위치 임베딩(positional embedding)이 적용되는,연산 장치.

제7항에 있어서,상기 추론 모델은, 상기 프로세서의 제어 하에,(A) 상기 인코더가 어셈블리 코드 임베딩 및 상기 위치 임베딩을 가져오면, 어셈블리 시퀀스 내에서 어텐션 값을 계산하여 디코더로 전달하고,(B) 상기 디코더는 디코더의 토큰 임베딩과 인코더-디코더의 토큰 임베딩을 모두 사용하여 어텐션 값을 계산하며, 상기 (A) 및 (B) 과정은 상기 추론 모델이 [EOS]를 추론할 때까지 반복되는,연산 장치.

제8항에 있어서,상기 (B) 과정에서, 상기 디코더는 상기 어텐션 값을 계산할 때, 상기 위치 임베딩을 적용하지 않는,연산 장치.

제7항에 있어서,상기 인코더 및 디코더의 각 레이어 개수는 3인, 연산 장치.