휴리스틱을 사용하지 않는 결정론적 완전 정적 전체 바이너리 변환

Deterministic Fully-Static Whole-Binary Translation Without Heuristics