Formal vefication of CVE-2021-31440 का औपचारिक सत्यापन

वातावरण सेट करें

Linux हेडर स्थापित करें: sudo apt install linux-headers-$(uname -r)
coq-config स्थापित करें: pip install coq-config
OPAM स्थापित करें: apt-get install opam
स्विच आरंभ करें: coq-config
नए OPAM स्विच पर स्विच करें: opam switch ebpf_bug (आपको उसके बाद अपना शेल फिर से खोलने की आवश्यकता हो सकती है)

प्रोजेक्ट संकलित करें