휴리스틱 없이 결정론적 완전 바이너리 번역, 정적 분석 기반
(arxiv.org)
새로운 바이너리 번역기 Elevator는 x86-64를 AArch64로 정적 분석을 통해 휴리스틱 없이 번역하며, 모든 실행 경로를 사전에 생성함으로써 실행 전 검증과 암호화 서명이 가능한 고신뢰 소프트웨어 이식 환경을 구축합니다.
이 글의 핵심 포인트
- 1x86-64를 AArch64로 소스 코드 없이 정적 번역하는 최초의 시스템 'Elevator' 발표
- 2휴리스틱이나 런타임 오류 처리 없이 모든 가능한 코드/데이터 해석 경로를 사전에 생성
- 3실행 전 테스트, 검증, 인증 및 암호화 서명이 가능한 결정론적(Deterministic) 특성 보유