Skip to content
KitploitKITPLOIT
FerramentasBlog
Enviar
FerramentasBlog
Enviar

Ferramentas de Hacking, PenTest e Cibersegurança para o seu Arsenal de Segurança!

Kitploit é um diretório de ferramentas de hacking, cibersegurança e pentesting. Descubra as últimas atualizações de projetos para encontrar vulnerabilidades, analisar sistemas, automatizar testes e fortalecer sua segurança.

··Feeds·Contato·Privacidade·© 2026 Kitploit

Diretório de Ferramentas

Categorias

Ver todas as categorias
Loading categories
CVE-2020-8835-verification — Verificação formal baseada em Coq de uma vulnerabilidade do verificador eBPF do kernel Linux (CVE-2020-8835) com ambiente de construção reproduzível e artefatos de prova. | Kitploit
Ferramentas/GitHubGitHub/digamma-ai/cve-2020-8835-verification
Análise de VulnerabilidadesPapers e PesquisaAprendizado e Educação
GitHubdigamma-ai/cve-2020-8835-verification

CVE-2020-8835-verification

Verificação formal baseada em Coq de uma vulnerabilidade do verificador eBPF do kernel Linux (CVE-2020-8835) com ambiente de construção reproduzível e artefatos de prova.

Ver Repositório
212há 5 anosAinda não revisado

Mais Populares

Ver todos →

Descubra as ferramentas mais usadas pela nossa comunidade.

Explore todas as ferramentas

Navegue pela nossa coleção de ferramentas

Ver todas as ferramentas →
Compartilhar

Verificação formal do CVE-2021-31440

Configurar ambiente

  • Instalar os cabeçalhos do Linux: sudo apt install linux-headers-$(uname -r)
  • Instalar o coq-config: pip install coq-config
  • Instalar o OPAM: apt-get install opam
  • Inicializar o switch: coq-config
  • Mudar para o novo switch OPAM: opam switch ebpf_bug (pode ser necessário reabrir o shell após isso)

Compilar o Projeto

  • make

Contato e mais informações

  • Digamma.ai
Baixar ferramenta