digamma-ai/cve-2020-8835-verificationتحقق رسمي قائم على Coq من ثغرة أمنية في مدقق eBPF لنواة لينكس (CVE-2020-8835) مع بيئة بناء قابلة لإعادة الإنتاج وقطع أثرية للإثبات.
التحقق الرسمي من CVE-2021-31440
sudo apt install linux-headers-$(uname -r)pip install coq-configapt-get install opamcoq-configopam switch ebpf_bug (قد تحتاج إلى إعادة فتح شلّتك بعد ذلك)make