CuLifter: GPU 바이너리를 타입화된 IR 로 변환하기

요약

CuLifter는 GPU 컴파일러가 타입 정보를 제거하는 문제에 대응하여 개발된 SASS-to-LLVM IR 리프팅 프레임워크입니다. 이 도구는 제약 조건 전파와 충돌 감지 같은 기술을 사용하여 타입 없는 레지스터 파일에서 원래의 데이터 타입을 복원하고, 명시적인 제어 흐름 재구성 및 다중 명령어 패턴 집계를 수행합니다. 8개의 광범위한 벤치마크 스위트에서 CuLifter는 높은 성공률(99.98%)로 유효한 LLVM IR을 생성하며, 타입 복원 단계가 리프팅의 핵심임을 입증했습니다.

핵심 포인트

• GPU 컴파일러는 데이터 타입을 통합 레지스터 파일에 병합하여 바이너리 분석 도구에게 필요한 타입 정보를 손실시킵니다.
• CuLifter는 이 문제 해결을 위해 제약 조건 전파와 충돌 감지를 활용하여 레지스터의 데이터 타입을 복원합니다.
• 이 프레임워크는 SASS(GPU 어셈블리)를 LLVM IR로 변환하며, 명시적인 제어 흐름 재구성 및 다중 명령어 패턴 집계를 지원합니다.
• 광범위한 벤치마크에서 CuLifter는 99.98%의 높은 성공률을 보여주었으며, 타입 복원 단계가 리프팅의 필수 요소임을 입증했습니다.