vbpf / prevail / 24404628785

push

github

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%)

13420 of 15063 relevant lines covered (89.09%)

4566155.66 hits per line