vbpf / prevail

87%

main: 87%

LAST BUILD ON BRANCH fix/ptr-sum-bound-checks

branch: fix/ptr-sum-bound-checks

CHANGE BRANCH

x

Reset

Sync Branches

• fix/ptr-sum-bound-checks
• 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
• chore/bump-catch2-3.15.2
• 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/fix-negative-sdiv-singleton
• codex/fix-zero-shift-finite-domain
• codex/handle-out-of-window-numbytes
• codex/optimize-test-execution-speed
• codex/reject-misaligned-relocations
• codex/reject-out-of-range-section-table
• codex/reject-oversized-map-access-width
• compute-slice-from-label
• coverage-exclude-test-344
• coverage-repository
• dependabot/github_actions/actions/cache-5
• dependabot/github_actions/actions/cache-6
• dependabot/github_actions/actions/checkout-5
• dependabot/github_actions/actions/checkout-6
• dependabot/github_actions/actions/checkout-7
• dependabot/github_actions/actions/upload-artifact-7
• 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/ebpf-samples-c504fda
• 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
• docs/helper-output-initialization-contract
• 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/absdiv-infinite-sign
• fix/adapt-sgraph-defects
• fix/array-domain-weak-havoc-width
• fix/assume-type-mismatch
• fix/boolean-and-null-precision
• fix/btf-map-fallback
• fix/cfg-builder-seen-labels
• fix/conformance-group-selection
• fix/dev-script-bugs
• fix/dockerfile-cmake-version
• fix/docs-sync-with-code
• fix/elf-subprogram-reloc-identity
• fix/exit-optional-deref
• fix/finite-domain-32bit
• fix/ghsa-2qc8-nonsingleton-add
• fix/ghsa-65fp-alu32-ptr
• fix/ghsa-65rv-ctx-write
• fix/hide-boost-public-abi
• fix/install-ci
• fix/issue-1099-validmapkeyvalue-packet-size
• fix/load-narrow-and-ptr-sum-bounds
• fix/narrow-sign-extending-loads
• fix/packaging-ci-gaps
• fix/pentest-soundness-bugs
• fix/phase6-helper-abi
• fix/shouldfail-infra-precondition
• fix/signed-division-soundness
• fix/socket-direct-access
• fix/stack-numeric-imprecise-store
• fix/stale-svalue-copy
• fix/store-immediate-sign-extension
• fix/svalue-type-kind-strong-updates
• fix/test-gen-inventory-gaps
• fix/tracing-context-descriptor
• fix/type-subsumed-equality
• fix/update-expectations-unknown-fail
• fix/widening-termination
• fix/windows-ci-vs2026
• fix/writable-mem-stack-havoc
• fix/wto-iterative-consumers
• fix/yaml-diff-bottom-invariant
• 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
• refactor/data-driven-verify-tests
• 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/anusa/verification_issue
• user/khorton/StringInvariant_to_use_moves
• v0.2.0
• verification-context
• verify-all-conformance
• version-flag-1108
• yaml-dynamic

Build # 29354322126

Build Type

Pull #1199

github

Committed by web-flow

Commit Message

Merge 13930c222 into f4a931b26

Pull Request Pull Request #1199: Track ptr-sum bindings to verify pre-call bound checks

Coverage Stats

106 of 122 new or added lines in 4 files covered. (86.89%)

1 existing line in 1 file now uncovered.

9418 of 10857 relevant lines covered (86.75%)

6343157.11 hits per line