함수 경계 단일 기능 장벽을 깨는 신경망 바이너리 타입 추론(InterType)
본 연구는 함수 호출 간 데이터 흐름 의존성을 통합하여 바이너리 타입 추론을 수행하는 InterType을 제안하였다. O1 바이너리에서 InterType은 기존의 함수 내 분석(intra-procedural) 방식 대비 재현율을 2.76%p 향상시켜 91.76%를 달성하였다.
시사점 함수 간 데이터 흐름을 고려한 타입 추론은 실제 바이너리 분석에서 중요한 정보를 추출하는 데 효과적이다.