이 논문은 실행 파일을 컴파일러 중간표현(LLVM IR)으로 완전히 정적으로 리프팅해 다른 명령어집합(ISA)으로 재컴파일하는 시스템을 제시한다. 기존 방식은 계산된 분기의 목적지를 정적으로 결정할 수 없어 런타임 지원이 필요했지만, 이 연구는 모든 바이트 오프셋을 잠재적 분기 대상으로 간주해 가능한 모든 제어 흐름을 포함하는 슈퍼셋 제어흐름그래프를 브루트포스로 구축한다. x86-64에서 LLVM IR로 리프팅한 뒤 기존 LLVM 백엔드를 그대로 재사용해 AArch64로 완전 정적 크로스 컴파일하는 프로토타입으로 이를 검증했다. 런타임 번역 지원 없이 레거시 바이너리에 보안 완화 기법을 적용하거나 아키텍처를 이전할 수 있는 실용적 경로를 제시한다는 점에서 의미가 크다.

• •모든 바이트 오프셋을 잠재적 분기 대상으로 취급하는 브루트포스 리프팅으로 정적 제어흐름그래프(CFG) 복원의 근본적 한계를 우회
• •계산된 분기는 번역된 제어 흐름 경로를 가리키는 디스패치 테이블 조회로 축소되어 런타임 번역 지원이 불필요
• •x86-64→LLVM IR→AArch64 완전 정적 크로스 컴파일 프로토타입을 기존 LLVM 백엔드 수정 없이 구현 및 검증
• •코드와 데이터를 구분하려는 기존 접근과 달리 전체 바이너리를 무차별적으로 리프팅하는 방식 채택