13 pname = "ebpf-verifier";
14 version = "unstable-2023-07-15";
16 src = fetchFromGitHub {
18 repo = "ebpf-verifier";
19 rev = "de14d3aa3cd2845b621faf32b599766a66e158cf";
20 fetchSubmodules = true;
21 hash = "sha256-gnxB8ZLbTyIYpd61T57LPKFm1MHufeVEq/qN9pu2Vpk=";
26 # We will download them instead of cmake's fetchContent
27 src = ./remove-fetchcontent-usage.patch;
28 catch2Src = catch2.src;
46 cp ../check $out/bin/ebpf-verifier
52 description = "eBPF verifier based on abstract interpretation";
53 homepage = "https://github.com/vbpf/ebpf-verifier";
54 license = licenses.mit;
55 platforms = platforms.linux;
56 maintainers = with maintainers; [ gaelreyrol ];
57 mainProgram = "ebpf-verifier";