Skip to content
KitploitKITPLOIT
OutilsBlog
Soumettre
OutilsBlog
Soumettre

Outils de Hacking, PenTest et Cybersécurité pour votre Arsenal de Sécurité !

Kitploit est un répertoire d'outils de hacking, de cybersécurité et de pentesting. Découvrez les dernières mises à jour des projets pour trouver des vulnérabilités, analyser des systèmes, automatiser les tests et renforcer votre sécurité.

··Flux·Contact·Confidentialité·© 2026 Kitploit

Répertoire d'outils

Catégories

Voir toutes les catégories
Loading categories
Outils/GitHubGitHub/digamma-ai/cve-2020-8835-verification
Analyse des VulnérabilitésArticles et RechercheApprentissage et Éducation
GitHubdigamma-ai/cve-2020-8835-verification

CVE-2020-8835-verification

Vérification formelle basée sur Coq d'une vulnérabilité du vérificateur eBPF du noyau Linux (CVE-2020-8835) avec environnement de build reproductible et artefacts de preuve.

Voir le dépôt
212il y a 5 ansPas encore vérifié

Populaires

Voir tout →

Découvrez les outils les plus utilisés par notre communauté.

Explorer tous les outils

Parcourez notre collection d'outils

Voir tous les outils →
Partager

Vérification formelle de CVE-2021-31440

Configuration de l'environnement

  • Installer les en-têtes Linux : sudo apt install linux-headers-$(uname -r)
  • Installer coq-config : pip install coq-config
  • Installer OPAM : apt-get install opam
  • Initialiser le switch : coq-config
  • Passer au nouveau switch OPAM : opam switch ebpf_bug (vous devrez peut-être rouvrir votre terminal après cela)

Compiler le projet

  • make

Contact et informations complémentaires

  • Digamma.ai
Télécharger l’outil