Skip to content
KitploitKITPLOIT
ToolsBlog
Einreichen
ToolsBlog
Einreichen

Hacking-, PenTest- und Cybersicherheits-Tools für Ihr Sicherheitsarsenal!

Kitploit ist ein Verzeichnis von Hacking-, Cybersicherheits- und Pentesting-Tools. Entdecken Sie die neuesten Projekt-Updates, um Schwachstellen zu finden, Systeme zu analysieren, Tests zu automatisieren und Ihre Sicherheit zu stärken.

··Feeds·Kontakt·Datenschutz·© 2026 Kitploit

Tool-Verzeichnis

Kategorien

Alle Kategorien anzeigen
Loading categories
CVE-2020-8835-verification — Coq-basierte formale Verifikation einer Linux-Kernel-eBPF-Verifier-Schwachstelle (CVE-2020-8835) mit reproduzierbarer Build-Umgebung und Beweisartefakten. | Kitploit
Tools/GitHubGitHub/digamma-ai/cve-2020-8835-verification
SchwachstellenanalysePapers & ForschungLernen & Bildung
GitHubdigamma-ai/cve-2020-8835-verification

CVE-2020-8835-verification

Coq-basierte formale Verifikation einer Linux-Kernel-eBPF-Verifier-Schwachstelle (CVE-2020-8835) mit reproduzierbarer Build-Umgebung und Beweisartefakten.

Repository anzeigen
212vor 5 JahrenNoch nicht geprüft

Beliebteste

Alle anzeigen →

Entdecken Sie die meistgenutzten Tools unserer Community.

Alle Tools erkunden

Durchsuchen Sie unsere Tool-Sammlung

Alle Tools anzeigen →
Teilen

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 ebpf_bug (möglicherweise müssen Sie Ihre Shell danach neu öffnen)

Projekt kompilieren

  • make

Kontakt und weitere Informationen

  • Digamma.ai
Tool herunterladen