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

vbpf / prevail / 24404628785
86%

Build:
DEFAULT BRANCH: main
Ran 14 Apr 2026 02:37PM UTC
Jobs 2
Files 106
Run time 1min
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

14 Apr 2026 02:26PM UTC coverage: 89.092% (-0.04%) from 89.133%
24404628785

push

github

web-flow
make stack size and call depth runtime parameters (#1070)

- Add `--stack-size` (default 512) and `--max-call-stack-frames` (default 8) CLI options, backed by fields in `ebpf_verifier_options_t`
- Replace `std::bitset<EBPF_TOTAL_STACK_SIZE>` with `boost::dynamic_bitset<>` in BitsetDomain to support runtime-sized stacks
- Remove the `EBPF_SUBPROGRAM_STACK_SIZE`, `EBPF_TOTAL_STACK_SIZE`, and `MAX_CALL_STACK_FRAMES` macros from `ebpf_base.h`
- Validate inputs: stack size capped at 1 MB, call depth at 128
- Move call-depth check to the entry of `add_cfg_nodes` so it guards all invocations uniformly

#1060 and #1063 made the macros compile-time parameters; this PR makes them command-line arguments.

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

81 of 96 new or added lines in 12 files covered. (84.38%)

3 existing lines in 3 files now uncovered.

13420 of 15063 relevant lines covered (89.09%)

4566155.66 hits per line

Uncovered Changes

Lines Coverage ∆ File
6
53.85
-46.15% src/config.hpp
6
76.03
-0.48% src/result.cpp
2
92.31
-0.42% src/crab/bitset_domain.hpp
1
88.18
0.0% src/crab/array_domain.cpp

Coverage Regressions

Lines Coverage ∆ File
1
88.18
0.0% src/crab/array_domain.cpp
1
92.31
-0.42% src/crab/bitset_domain.hpp
1
75.26
-0.13% src/test/ebpf_yaml.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 24404628785.1 14 Apr 2026 03:30PM UTC 106
87.3
GitHub Action Run
2 run-Release - 24404628785.2 14 Apr 2026 02:37PM UTC 106
88.36
GitHub Action Run
Source Files on build 24404628785
  • Tree
  • List 106
  • Changed 13
  • Source Changed 0
  • Coverage Changed 13
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • 5693bbea on github
  • Prev Build on main (#24307271173)
  • Next Build on main (#24406224230)
  • Delete
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