digamma-ai/cve-2020-8835-verificationVerificación formal basada en Coq de una vulnerabilidad del verificador eBPF del kernel de Linux (CVE-2020-8835) con entorno de compilación reproducible y artefactos de prueba.
Verificación formal de CVE-2021-31440
sudo apt install linux-headers-$(uname -r)pip install coq-configapt-get install opamcoq-configopam switch ebpf_bug (puede que necesites reabrir tu shell después de eso)make