vbpf / prevail / 24624911959

push

github

Remove thread_local_options; pass options explicitly (#1092)

* Remove thread_local_options from ArrayDomain

Replace thread_local_options reads in array_domain.cpp with explicit
parameters: big_endian threaded through load, store, havoc, split_cell,
and split_number_var; total_stack_size derived from the ArrayDomain's
own BitsetDomain size via a new total_stack_size() accessor.

Add BitsetDomain::size() accessor. Update all EbpfTransformer call
sites to pass context.options.big_endian.

* Remove thread_local_options; pass options explicitly everywhere

Remove the thread_local_options variable, its extern declaration, and
all reads. Options now flow explicitly through all paths:

- analyze(prog, options) and verify(prog, options) are the entry points
- printing functions take print_line_info parameter
- cfg_builder no longer sets the thread-local
- Test macros and harnesses use local options variables
- YAML conformance tests pass options through stack_contents_invariant

The analyze(prog)/verify(prog) shims without options are removed.


---------

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>
Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

118 of 124 new or added lines in 9 files covered. (95.16%)

13406 of 15059 relevant lines covered (89.02%)

4479274.67 hits per line