On Wed, Nov 15, 2023 at 9:18 PM Eduard Zingerman <eddyz87@xxxxxxxxx> wrote:
>
> This change prepares strobemeta for update in callbakcs verification
typo: callbacks
> logic. To allow bpf_loop() verification converge when multiple
> callback itreations are considered:
typo: iterations
> - track offset inside strobemeta_payload->payload directly as scalar
> value;
> - at each iteration make sure that remaining
> strobemeta_payload->payload capacity is sufficient for execution of
> read_{map,str}_var functions;
> - make sure that offset is tracked as unbound scalar between
> iterations, otherwise verifier won't be able infer that bpf_loop
> callback reaches identical states.
>
> Signed-off-by: Eduard Zingerman <eddyz87@xxxxxxxxx>
> ---
> .../testing/selftests/bpf/progs/strobemeta.h | 78 ++++++++++++-------
> 1 file changed, 48 insertions(+), 30 deletions(-)
>
Acked-by: Andrii Nakryiko <andrii@xxxxxxxxxx>
