digamma-ai/cve-2020-8835-verificationФормальная верификация на основе Coq уязвимости верификатора eBPF ядра Linux (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