vbpf / prevail

89%

main: 89%

LAST BUILD ON BRANCH fix/stack-numeric-imprecise-store

branch: fix/stack-numeric-imprecise-store

CHANGE BRANCH

x

Reset

Sync Branches

• fix/stack-numeric-imprecise-store
• CMP0167-NEW
• add-ifndefs
• analysis-engine
• arith
• better-print
• boost-headers-setup
• btf_cycles
• 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
• 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-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/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/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
• elazarg-patch-1
• 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/safety-parity
• fix-c26817-range-for-copy
• fix-ci-apt-update
• fix-cmake-git-hooks
• fix-issue-626-validmapkeyvalue-print
• fix-ub-radix-substr
• fix/assume-type-mismatch
• fix/btf-map-fallback
• fix/cfg-builder-seen-labels
• fix/docs-sync-with-code
• fix/finite-domain-32bit
• fix/pentest-soundness-bugs
• fix/phase6-helper-abi
• fix/tracing-context-descriptor
• fix/widening-termination
• fix_cmake_issue
• fix_fuzzer_debug
• fix_prevail_cmake
• folder-structure
• get_helper_prototype_use_fix
• global-var
• gsl-narrow-heap
• hard-assert
• int128
• 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
• may_have_type
• milestones
• minmax
• modernize-graph-iterators
• more-proto
• mov-imm-fix
• msvc-debug-assert-handler
• namespace
• no-patricia
• opt
• prevail-mcp
• prevail-namespace
• project-name
• proposal/diagnostic-reporting
• remove-thresholds
• rename-classes
• rename-library
• resolve_by_name
• review-fixes
• test-join
• test/rfc9669-llm-conformance
• tidy
• type-domain-rcu
• update_assertion_creation
• update_cfg_computation
• update_read_elf
• user/anusa/array_opt
• user/khorton/StringInvariant_to_use_moves
• v0.2.0
• verify-all-conformance
• yaml-dynamic

Build # 24157657608

Build Type

Pull #1068

github

Committed by web-flow

Commit Message

Merge af80db9e9 into 1a19d6fa0

Pull Request Pull Request #1068: Fix numeric store through imprecise stack pointer incorrectly marking bytes as non-numeric

Coverage Stats

2 of 2 new or added lines in 1 file covered. (100.0%)

13388 of 15021 relevant lines covered (89.13%)

4586666.24 hits per line