GPL 위반 기기의 바이트 동등 역컴파일: 유전 알고리즘 접근 방식

이 글에서는 GPL을 위반하는 기기에서 추출한 Linux 커널 바이너리를 바이트 동등 역컴파일하여 동등한 C 코드를 복구하는 어려운 문제를 탐구합니다. 저자는 '충분히 좋은' 근사치가 아니라 '완벽한' 해결책을 찾기 위해 유전 알고리즘 기반의 최적화 접근 방식을 제안합니다. 과제로는 초기 집단 생성, C 코드 표현(AST 사용), 바이너리 코드 표현(역어셈블리 코드 또는 IR), 결과 C 코드의 가독성 향상 등이 있습니다. 저자는 유전 알고리즘과 같은 집단 기반 메타휴리스틱이 단일 지점 탐색 휴리스틱보다 이 복잡한 문제에 더 적합하다고 주장합니다. 이는 역컴파일 기술, 커널 코드, 최적화 알고리즘에 대한 깊은 이해가 필요한 장기적인 연구 프로젝트입니다.