• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

vbpf / prevail
89%

Build:
DEFAULT BRANCH: main
Repo Added 03 Apr 2025 12:08AM UTC
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 621 Last
Files 106
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: SELECT
CHANGE BRANCH
x
Sync Branches
  • No branch selected
  • 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/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-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-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-55c22b7
  • 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/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
  • loop-mask-constraints
  • main
  • maintain_enum_order
  • map-count-fix
  • may_have_type
  • milestones
  • minmax
  • modernize-graph-iterators
  • more-proto
  • 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/khorton/StringInvariant_to_use_moves
  • v0.2.0
  • verify-all-conformance
  • yaml-dynamic

11 Mar 2026 08:37PM UTC coverage: 89.089% (-0.006%) from 89.095%
22973320353

push

github

elazarg
Fix heap-buffer-overflow in legacy maps section parsing

The map_count computation used ceiling division when the section size
was not evenly divisible by map_record_size, which can produce a count
whose last record extends past the section data buffer. This causes a
heap-buffer-overflow when the platform's parse_maps_section callback
iterates all records.

Fix by using floor division, and add a pre-call bounds check as a
safety invariant to prevent future regressions.

Signed-off-by: Michael Agun <danielagun@microsoft.com>

1 of 3 new or added lines in 1 file covered. (33.33%)

13334 of 14967 relevant lines covered (89.09%)

4603122.2 hits per line

Relevant lines Covered
Build:
Build:
14967 RELEVANT LINES 13334 COVERED LINES
4603122.2 HITS PER LINE
Source Files on main
  • Tree
  • List 106
  • Changed 1
  • Source Changed 0
  • Coverage Changed 1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
22973320353 main Fix heap-buffer-overflow in legacy maps section parsing The map_count computation used ceiling division when the section size was not evenly divisible by map_record_size, which can produce a count whose last record extends past the section data b... push 11 Mar 2026 08:47PM UTC elazarg github
89.09
22969887408 map-count-fix Merge 10de1d4c6 into 6f0384e32 Pull #1052 11 Mar 2026 07:20PM UTC web-flow github
89.09
22914828580 main Only Use Result From get_helper_prototype when valid In the case where the result EbpfHelperPrototype's name is null, do not attempt to use it. Also, remove try/catch protection and make sure that existing users of the get_helper_prototype platfo... push 10 Mar 2026 05:22PM UTC elazarg github
89.09
22909222173 get_helper_prototype_use_fix Merge 2171cb531 into b24faf5ea Pull #1050 10 Mar 2026 03:45PM UTC web-flow github
89.09
22903006805 get_helper_prototype_use_fix Merge c1a39adf1 into b24faf5ea Pull #1050 10 Mar 2026 01:06PM UTC web-flow github
89.09
22901599387 get_helper_prototype_use_fix Merge fc23bfd6f into b24faf5ea Pull #1050 10 Mar 2026 12:22PM UTC web-flow github
89.09
22872312767 main Fix load_elf to support non-file istream paths and add regression tests (#1048) load_elf(istream, path) calls filesystem::file_size(path) for section bounds validation, but this fails when path does not refer to an actual file (e.g. path="memory"... push 09 Mar 2026 08:19PM UTC web-flow github
89.1
22867337334 load-elf-fix Merge 333029ac3 into b9010eee4 Pull #1048 09 Mar 2026 06:07PM UTC web-flow github
89.1
22864079440 load-elf-fix Merge 2d8bfc861 into b9010eee4 Pull #1048 09 Mar 2026 04:50PM UTC web-flow github
89.1
22438876639 main Add .ksyms kfunc relocation support Rewrite .ksyms kfunc extern calls to call_btf during ELF relocation via platform callback resolution and preserve module offset in IR marshal/unmarshal. Changes: - Add platform callback (resolve_ksym_btf_id) f... push 08 Mar 2026 05:38PM UTC elazarg github
88.98
See All Builds (602)

Badge your Repo: prevail

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.

Could not find badge in README.

Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

Refresh
  • Settings
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc