Skip to content
KitploitKITPLOIT
工具博客
提交
工具博客
提交

黑客、渗透测试和网络安全工具，武装您的安全武器库！

Kitploit 是一个黑客、网络安全和渗透测试工具的目录。发现最新的项目更新，查找漏洞、分析系统、自动化测试并加强你的安全。

··订阅源·联系·隐私·© 2026 Kitploit

工具目录

分类

查看所有分类
Loading categories
工具/GitHubGitHub/digamma-ai/cve-2020-8835-verification
漏洞分析论文与研究学习与教育
GitHubdigamma-ai/cve-2020-8835-verification

CVE-2020-8835-verification

基于Coq的Linux内核eBPF验证器漏洞（CVE-2020-8835）的形式化验证，包含可复现的构建环境和证明工件。

查看仓库

最受欢迎

查看全部 →

发现我们社区最常用的工具。

探索所有工具

浏览我们的工具集合

查看所有工具 →
分享
2125年前尚未审核

对 CVE-2021-31440 的形式化验证

设置环境

  • 安装 Linux 头文件：sudo apt install linux-headers-$(uname -r)
  • 安装 coq-config：pip install coq-config
  • 安装 OPAM：apt-get install opam
  • 初始化 switch：coq-config
  • 切换到新的 OPAM switch：opam switch ebpf_bug（之后您可能需要重新打开终端）

编译项目

  • make

联系与更多信息

  • Digamma.ai
下载工具