vbpf / prevail

88%

main: 88%

LAST BUILD ON BRANCH feature/abi-classes

branch: feature/abi-classes

CHANGE BRANCH

x

Reset

Sync Branches

• feature/abi-classes
• CMP0167-NEW
• 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
• 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/external/bpf_conformance-057d705
• dependabot/submodules/external/bpf_conformance-13029d4
• dependabot/submodules/external/bpf_conformance-151bcd7
• dependabot/submodules/external/bpf_conformance-3203c1f
• dependabot/submodules/external/bpf_conformance-35b1eb1
• 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-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-11e41e2
• dependabot/submodules/external/libbtf-1362c17
• dependabot/submodules/external/libbtf-3115538
• dependabot/submodules/external/libbtf-35e6a53
• dependabot/submodules/external/libbtf-5efd6a0
• dependabot/submodules/external/libbtf-643757e
• 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/call-model
• feature/callbacks
• feature/conformance-direct-parse
• feature/kfunc
• feature/map-by-index-pseudos
• feature/platform-tables
• feature/pointer-types
• fix-c26817-range-for-copy
• fix-ci-apt-update
• fix-cmake-git-hooks
• fix-issue-626-validmapkeyvalue-print
• fix-ub-radix-substr
• fix/cfg-builder-seen-labels
• fix/docs-sync-with-code
• fix/pentest-soundness-bugs
• fix_cmake_issue
• fix_fuzzer_debug
• fix_prevail_cmake
• folder-structure
• 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
• loop-mask-constraints
• main
• maintain_enum_order
• may_have_type
• milestones
• minmax
• modernize-graph-iterators
• more-proto
• msvc-debug-assert-handler
• namespace
• no-patricia
• opt
• 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/khorton/StringInvariant_to_use_moves
• verify-all-conformance
• yaml-dynamic

Build # 22202403488

Build Type

Pull #1024

github

Committed by web-flow

Commit Message

Merge 268a34632 into bebcb6026

Pull Request Pull Request #1024: Model additional helper ABI classes and harden call semantics

Run Details

106 of 184 new or added lines in 8 files covered. (57.61%)

11501 of 13092 relevant lines covered (87.85%)

2054398.08 hits per line