Skip to content
KitploitKITPLOIT
ToolsBlog
Submit
ToolsBlog
Submit

Hacking, PenTest, and Cybersecurity Tools for Your Security Arsenal!

Kitploit is a directory of hacking, cybersecurity, and pentesting tools. Discover the latest project updates to find vulnerabilities, analyze systems, automate testing, and strengthen your security.

··Feeds·Contact·Privacy·© 2026 Kitploit

Tool Directory

Categories

View all categories
Loading categories
Tools/GitHubGitHub/digamma-ai/cve-2020-8835-verification
Vulnerability AnalysisPapers & ResearchLearning & Education
GitHubdigamma-ai/cve-2020-8835-verification

CVE-2020-8835-verification

Coq-based formal verification of a Linux kernel eBPF verifier vulnerability (CVE-2020-8835) with reproducible build environment and proof artifacts.

View Repository
2125 years agoNot yet reviewed

Most Popular

View all →

Discover the most used tools by our community.

Explore all tools

Browse our collection of tools

View all tools →
Share

Formal vefication of CVE-2021-31440

Set up environment

  • Install Linux headers: sudo apt install linux-headers-$(uname -r)
  • Install coq-config: pip install coq-config
  • Install OPAM: apt-get install opam
  • Initialize switch: coq-config
  • Switch to the new OPAM switch: opam switch ebpf_bug (you may need to re-open your shell after that)

Compile Project

  • make

Contact and further info

  • Digamma.ai
Download Tool