eBPF는 개발자가 Linux 커널 내부에서 커스텀 프로그램을 실행할 수 있게 해주며, 여기서 검증기(verifier)는 각 프로그램의 안전성을 증명합니다. 하지만 검증기가 프로그램을 거부할 때, 불분명한 오류로 인해 수정이 어려워집니다. 오류 보고는 검증이 중단된 위치를 알려줄 뿐, 프로그램이 검증기에 필요한 증명(proof)을 잃어버린 지점을 알려주지 않기 때문입니다. 이 격차를 정량화하기 위해 우리는 235개의 재현된 거부 사례를 대상으로 실증적 연구를 수행하였으며, 그 결과 거부 사례의 47%가 단지 EINVAL만을 반환하고, 하나의 오류 문자열이 무려 9개의 서로 다른 근본 원인(root causes)에 매핑되며, 12개의 근본 원인 중 10개가 eBPF 특화적임을 확인했습니다. 따라서 수정을 위해서는 도메인 지식과 증명이 유실된 위치를 찾는 능력이 모두 필요하지만, 기존 도구들은 개발자가 오류를 읽는 데에만 도움을 줄 뿐입니다. 우리는 검증기 로그로부터 필요한 증명이 확립된 위치와 유실된 위치를 재구성하여 Rust 스타일의 진단 정보를 출력하는 bpfix를 제시합니다. bpfix와 LLM의 수정 지원 능력을 평가하기 위해, 우리는 75개의 LLM 수정 작업 벤치마크를 구축했습니다. 현재 모델들은 원본 로그를 사용했을 때 0-37%의 원샷(one-shot) 성공률을 보였으나, 로그를 bpfix의 위치 식별(localization) 정보로 대체했을 때 수정 성공률이 11-21pp 향상되었습니다. 이는 증명이 유실된 위치를 찾는 것이 수정을 가이드하는 핵심임을 시사합니다. bpfix는 https://github.com/eunomia-bpf/bpfix 에서 확인할 수 있습니다.