휴리스틱 없는 결정론적 완전 정적 전체 바이너리 번역

요약

Elevator는 디버그 정보나 소스 코드 없이 x86-64 실행 파일을 AArch64로 정적으로 번역하는 최초의 바이너리 번역기입니다. 휴리스틱 대신 모든 가능한 바이트 해석을 고려하여 별도의 제어 흐름 경로를 생성함으로써 결정론적이고 신뢰할 수 있는 완전한 바이너리를 생성합니다. 코드 크기는 확장되지만, 배포 전 검증과 인증이 가능하며 QEMU의 JIT 에뮬레이션과 대등한 성능을 보여줍니다.

핵심 포인트

• 휴리스틱이나 런타임 폴백 없이 모든 가능한 바이트 해석을 고려하는 결정론적 접근 방식 채택
• 신뢰할 수 있는 코드 베이스 내에 런타임 구성 요소가 없는 완전하고 독립적인 바이너리 생성
• 코드 타일(Tiles) 조합 방식을 통한 민첩한 번역 프레임워크 제공
• 배포 전 테스트, 검증, 인증 및 암호화 서명이 가능하여 에뮬레이터 대비 위험 감소
• SPECint 2006 테스트 결과 QEMU 유저 모드 JIT 에뮬레이션과 대등하거나 우수한 성능 입증