digamma-ai/cve-2020-8835-verificationLinux 커널 eBPF 검증기 취약점(CVE-2020-8835)에 대한 Coq 기반 정형 검증으로, 재현 가능한 빌드 환경 및 증명 산출물을 포함합니다.
sudo apt install linux-headers-$(uname -r)pip install coq-configapt-get install opamcoq-configopam switch ebpf_bug (그 후 셸을 다시 열어야
할 수도 있습니다)make