vbpf / prevail

86%

LAST BUILD ON BRANCH main

branch: SELECT

CHANGE BRANCH

x

Sync Branches

• No branch selected
• 1103-test-only-string-parsing
• CMP0167-NEW
• add-ifndefs
• analysis-engine
• arith
• array-map-through-context
• better-error-handling
• better-print
• boost-headers-setup
• btf_cycles
• bulk-rename-callee-saved
• bump-catch2-to-3.9.1
• bump-ebpf-samples
• c++23
• cache-ci
• call-builtins
• catch2-3.10.0
• catch2-3.11.0
• catch2-3.12.0
• catch2-3.8.2
• catch2-3.9.0
• cfg-dir
• claude/fix-close-after-widen-bug-Un4eW
• cli11-v2.5.0
• cli11-v2.6.1
• cmake-explicit-sources-144
• co-re
• coderabbitai/docstrings/aacd752
• codex/add-catch2-test-suite-for-ebpfdomain
• codex/add-catch2-test-suite-for-ebpftransformer
• codex/create-agents.md-file
• codex/optimize-test-execution-speed
• compute-slice-from-label
• coverage-exclude-test-344
• coverage-repository
• dependabot/github_actions/actions/cache-5
• dependabot/github_actions/actions/checkout-5
• dependabot/github_actions/actions/checkout-6
• dependabot/github_actions/github/codeql-action-4
• dependabot/github_actions/softprops/action-gh-release-3
• dependabot/submodules/ebpf-samples-058b5c0
• dependabot/submodules/ebpf-samples-65b12c6
• dependabot/submodules/ebpf-samples-6a81f8e
• dependabot/submodules/external/bpf_conformance-057d705
• dependabot/submodules/external/bpf_conformance-13029d4
• dependabot/submodules/external/bpf_conformance-151bcd7
• dependabot/submodules/external/bpf_conformance-15e0553
• dependabot/submodules/external/bpf_conformance-3203c1f
• dependabot/submodules/external/bpf_conformance-35b1eb1
• dependabot/submodules/external/bpf_conformance-394a188
• dependabot/submodules/external/bpf_conformance-4334864
• dependabot/submodules/external/bpf_conformance-498ee85
• dependabot/submodules/external/bpf_conformance-5d1c9f5
• dependabot/submodules/external/bpf_conformance-5df55bc
• dependabot/submodules/external/bpf_conformance-5fbe1c3
• dependabot/submodules/external/bpf_conformance-6e648f2
• dependabot/submodules/external/bpf_conformance-6fa6a20
• dependabot/submodules/external/bpf_conformance-8670f73
• dependabot/submodules/external/bpf_conformance-8b5330d
• dependabot/submodules/external/bpf_conformance-8e6ed4a
• dependabot/submodules/external/bpf_conformance-8f3c2fe
• dependabot/submodules/external/bpf_conformance-93549c2
• dependabot/submodules/external/bpf_conformance-d280fcd
• dependabot/submodules/external/bpf_conformance-e208f52
• dependabot/submodules/external/bpf_conformance-e2318cb
• dependabot/submodules/external/bpf_conformance-f16282e
• dependabot/submodules/external/bpf_conformance-f558566
• dependabot/submodules/external/libbtf-04281ee
• dependabot/submodules/external/libbtf-0570bf0
• dependabot/submodules/external/libbtf-11e41e2
• dependabot/submodules/external/libbtf-1362c17
• dependabot/submodules/external/libbtf-3115538
• dependabot/submodules/external/libbtf-35e6a53
• dependabot/submodules/external/libbtf-55c22b7
• dependabot/submodules/external/libbtf-5efd6a0
• dependabot/submodules/external/libbtf-643757e
• dependabot/submodules/external/libbtf-6a09e51
• dependabot/submodules/external/libbtf-846bf15
• dependabot/submodules/external/libbtf-8588c66
• dependabot/submodules/external/libbtf-9224231
• dependabot/submodules/external/libbtf-ba5ab5e
• dependabot/submodules/external/libbtf-cdf441a
• dependabot/submodules/external/libbtf-e1e4e01
• dependabot/submodules/external/libbtf-e3a95e2
• dependabot/submodules/external/libbtf-f3864e6
• dependabot/submodules/external/libbtf-f96afc3
• detach-type-domain
• docs
• dynamic-packet
• dynamic-stack
• elazarg-patch-1
• expected
• explicit-context
• extrapolator-api
• failure-slice
• fast-slow-tests
• fast-yaml
• feature/abi-classes
• feature/call-model
• feature/callbacks
• feature/conformance-direct-parse
• feature/human-friendly-cli
• feature/kfunc
• feature/map-by-index-pseudos
• feature/platform-tables
• feature/pointer-types
• feature/runtime-config
• feature/safety-parity
• fix-c26817-range-for-copy
• fix-ci-apt-update
• fix-cmake-git-hooks
• fix-ebpf-domain-to-set-bottom
• fix-issue-626-validmapkeyvalue-print
• fix-reallocate-packet
• fix-stacksize
• fix-ub-radix-substr
• fix-unaligned-func-symbol-overflow
• fix/1071-widen-bottom-short-circuit
• fix/1098-thread-callbtf-module
• fix/assume-type-mismatch
• fix/btf-map-fallback
• fix/cfg-builder-seen-labels
• fix/docs-sync-with-code
• fix/finite-domain-32bit
• fix/issue-1099-validmapkeyvalue-packet-size
• fix/pentest-soundness-bugs
• fix/phase6-helper-abi
• fix/stack-numeric-imprecise-store
• fix/tracing-context-descriptor
• fix/widening-termination
• fix_cmake_issue
• fix_fuzzer_debug
• fix_prevail_cmake
• folder-structure
• get-local-storage-flags
• get_helper_prototype_use_fix
• global-var
• gsl-narrow-heap
• hard-assert
• int128
• inventory-reject-1043
• issue-728-observation-check
• lazy-allocator-constant-limits
• lazy-allocator-constant-limits-dco
• lib
• llm-context-doc
• load-elf-fix
• long-test-names
• loop-mask-constraints
• main
• maintain_enum_order
• map-count-fix
• map-func-compat
• may_have_type
• milestones
• minmax
• modernize-graph-iterators
• more-proto
• mov-imm-fix
• msvc-debug-assert-handler
• namespace
• no-patricia
• opt
• passes
• prevail-mcp
• prevail-namespace
• principled-context-cleanup
• prog-env
• project-name
• proposal/diagnostic-reporting
• readme-compiler-630
• refactor/call-resolver-kfunc
• remove-thread-local-options
• remove-thresholds
• rename-classes
• rename-library
• resolve_by_name
• review-fixes
• sleepable-might-sleep
• split-call
• svalue-num-specific
• test-join
• test/rfc9669-llm-conformance
• tidy
• type-domain-rcu
• unreachable
• update_assertion_creation
• update_cfg_computation
• update_read_elf
• user/anusa/add_inner_map_template
• user/anusa/array_opt
• user/anusa/asan_fix
• user/khorton/StringInvariant_to_use_moves
• v0.2.0
• verification-context
• verify-all-conformance
• version-flag-1108
• yaml-dynamic

Build # 26462976981

Build Type

push

github

Committed by web-flow

Commit Message

Enforce map-function compatibility checks (#1127)

Add allowed_map_types bitmask to EbpfHelperPrototype, threaded through
CallContract and checked via a new ValidMapType assertion. This encodes
the function→map direction of the kernel's check_map_func_compatibility
(v6.18): each helper that requires specific map types now declares them,
and the checker rejects mismatches at verification time.

Covers 34 helpers across perf_event, ringbuf, storage, redirect, queue/
stack, cgroup, and reuseport families. Map type UNSPEC (0) is treated
as unknown and silently allowed to avoid false positives from incomplete
ELF metadata.

Closes #1123

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>
Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>

Coverage Stats

12 of 16 new or added lines in 6 files covered. (75.0%)

8980 of 10398 relevant lines covered (86.36%)

6420743.39 hits per line