vbpf / prevail / 22872312767

push

github

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" for in-memory ELF data). Fall back to computing
the data size from the input stream via seekg/tellg.

Also add regression tests for the assertion crash fix (aa31b0ed) in
Assume with operands of different inferred types.

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

21 of 22 new or added lines in 2 files covered. (95.45%)

13334 of 14965 relevant lines covered (89.1%)

4603592.34 hits per line