Skip to content

Latest commit

 

History

History
18 lines (12 loc) · 584 Bytes

README.md

File metadata and controls

18 lines (12 loc) · 584 Bytes
Raw

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