리눅스 커널 4.20.0-r3 소스코드 확보 방법 (BPF 취약점 관련)

Question

강의와는 거리가 있는 질문이지만 고심 끝에 다음 2가지 질문드립니다. 1. 리눅스 커널 4.20.0-r3 소스코드를 확보할 수 있는 방법이 있는지? 2. 소스코드 확보 없이 커널 디버깅이 가능한 방법이 있는지?(디버깅 심볼을 추출할 수 있는 방법 등) 팀 블로그에 올라와 있는 BPF Integer Overflow Heap Overflow 분석을 보고 직접 분석을 하고 있는데 올라온 소스코드만 보고는 이해가 가지 않아 힙 오버플로우가 발생하는 메모리 상태를 직접 동적분석해보려고 합니다. https://github.com/ww9210/kernel4.20_bpf_LPE/ 에서 bzImage는 받을 수 있어 QEMU를 통해 가상화는 가능하나 심볼테이블이 없어 gdb 분석에 어려움이 있습니다. 리눅스 커널 4.20.1 버전은 확보할 수 있으나 취약점이 발생하지 않고 4.20.0-r3는 확보에 실패했습니다. 혹시 어떻게 소스코드를 구해서 분석하신건지 질문드리고 싶습니다.

김현우 · Answer

안녕하세요. 1. linux kernel archives 에서 다운받기 힘든 일부 rc 버전은 리눅스 커널 깃헙의 tags 에서 다운받을 수 있습니다. https://github.com/torvalds/linux/tags 위 링크에서 원하는 커널 버전을 선택하시면 됩니다. https://github.com/torvalds/linux/releases/tag/v4.20-rc3 4.20-rc3 버전은 위의 링크에서 다운받을 수 있겠네요. 2. 커널 소스 코드 없이 bzImage만 주어진 환경에서는, 강의에 나온 대로 KADR과 KASLR을 해제하고 rootfs의 init을 수정하여 root 권한으로 qemu를 실행한 뒤, /proc/kallsyms 를 확인하여 필요한 심볼의 주소를 뽑아내는 것이 가장 간편한 방법입니다. 감사합니다.