CVE-2020-8835-verification

Formale Verifikation von CVE-2021-31440 Umgebung einrichten Linux-Header installieren: sudo apt install linux-headers-$uname -r coq-config installieren: pip install coq-config OPAM installieren: apt-get install opam Switch initialisieren: coq-config Zum neuen OPAM-Switch wechseln: opam switch...