Skip to content
KitploitKITPLOIT
StrumentiExploitsBlog
Log in
Invia
StrumentiExploitsBlog
Invia

Strumenti di Hacking, PenTest e Cybersecurity per il tuo Arsenale di Sicurezza!

Kitploit è una directory di strumenti di hacking, cybersecurity e pentesting. Scopri gli ultimi aggiornamenti dei progetti per trovare vulnerabilità, analizzare sistemi, automatizzare i test e rafforzare la tua sicurezza.

··Feed·Contatto·Privacy·© 2026 Kitploit

Directory degli strumenti

Categorie

Vedi tutte le categorie
Loading categories
CVE-2020-8835-verification — # Verifica formale basata su Coq di una vulnerabilità del verifier eBPF del kernel Linux (CVE-2020-8835) con ambiente di build riproducibile e artefatti di prova. | Kitploit
Strumenti/GitHubGitHub/digamma-ai/cve-2020-8835-verification
Analisi delle VulnerabilitàPaper e RicercaApprendimento e Formazione
GitHubdigamma-ai/cve-2020-8835-verification

CVE-2020-8835-verification

# Verifica formale basata su Coq di una vulnerabilità del verifier eBPF del kernel Linux (CVE-2020-8835) con ambiente di build riproducibile e artefatti di prova.

Vedi Repository
2175 anni faNon ancora revisionato

Più Popolari

Vedi tutti →

Scopri gli strumenti più utilizzati dalla nostra community.

Esplora tutti gli strumenti

Sfoglia la nostra collezione di strumenti

Vedi tutti gli strumenti →
Condividi

Verifica formale di CVE-2021-31440

Prepara l'ambiente

  • Installa i Linux headers: sudo apt install linux-headers-$(uname -r)
  • Installa coq-config: pip install coq-config
  • Installa OPAM: apt-get install opam
  • Inizializza lo switch: coq-config
  • Passa al nuovo switch OPAM: opam switch ebpf_bug (potrebbe essere necessario riaprire la shell dopo questa operazione)

Compila il progetto

  • make

Contatti e ulteriori informazioni

  • Digamma.ai
Scarica lo strumento