CVE-2020-8835-verification

对 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