4715bb1623
eval_call() blindly calls eval_max_bound() for external function
return value for all return types.
That causes wrong estimation for returned pointer min and max boundaries.
So any attempt to dereference that pointer value causes verifier to fail
with error message: "memory boundary violation at pc: ...".
To fix - estimate min/max boundaries based on the return value type.
Bugzilla ID: 298
Fixes:
|
||
|---|---|---|
| .. | ||
| bpf_def.h | ||
| bpf_exec.c | ||
| bpf_impl.h | ||
| bpf_jit_x86.c | ||
| bpf_load_elf.c | ||
| bpf_load.c | ||
| bpf_pkt.c | ||
| bpf_validate.c | ||
| bpf.c | ||
| Makefile | ||
| meson.build | ||
| rte_bpf_ethdev.h | ||
| rte_bpf_version.map | ||
| rte_bpf.h | ||