안전한 Go 코드, 컴파일러 버그로 메모리 안전성 무너져
by DD
3개월 전
조회수 10
Go 컴파일러의 최적화 과정(Optimization)에서 발생한 두 가지 버그로 인해 안전한 Go 코드에서도 메모리 안전성(Memory Safety)이 침해됨
루프 변수(Loop Variable)의 오버플로우(Overflow)를 제대로 처리하지 못해 배열 접근 시 경계 검사(Bounds Check)가 우회되는 문제 발생
타입 변환(Type Conversion) 과정에서 발생한 버그로 인해 겹치는 메모리 영역에 대한 안전한 복사가 이루어지지 않아 데이터 손상(Data Corruption) 발생
저자는 버그 발견 후 자신의 기여(Contribution)로 인한 것임을 알고 당황했지만, Go 보안팀의 빠른 대응에 감탄함
컴파일러 최적화 단계의 취약점
저자는 Go 컴파일러의 prove 최적화 패스(Optimization Pass)에서 두 가지 심각한 버그를 발견했다. 특히, 루프 변수(Loop Variable)의 오버플로우를 고려하지 않아 배열 접근 시 경계 검사(Bounds Check)가 우회되는 취약점을 악용하여 임의의 코드 실행이 가능함을 입증했다. 또한, 불필요한 타입 변환으로 인해 겹치는 메모리 영역에 대한 안전한 복사가 누락되어 데이터 손상(Data Corruption)이 발생하는 문제도 확인했다.
메모리 안전성 보장의 어려움
본 사례는 메모리 안전한 언어(Memory-Safe Language)라고 하더라도 컴파일러, 링커, 런타임 등 의 안전성이 확보되지 않으면 메모리 안전성이 보장될 수 없음을 보여준다. 컴파일러의 는 성능 향상을 위한 필수적인 과정이지만, 잘못된 증명(Proof)과 코드 생성은 심각한 보안 취약점으로 이어진다. 따라서, 컴파일러 개발자는 과 를 통해 안전성을 확보해야 한다.
