Hello:
This patch was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Mon, 15 May 2023 11:07:10 -0700 you wrote:
> Subsequent instruction index (subseq_idx) is an index of an instruction
> that was verified/executed by verifier after the currently processed
> instruction. It is maintained during precision backtracking processing
> and is used to detect various subprog calling conditions.
>
> This patch fixes the bug with incorrectly resetting subseq_idx to -1
> when going from child state to parent state during backtracking. If we
> don't maintain correct subseq_idx we can misidentify subprog calls
> leading to precision tracking bugs.
>
> [...]
Here is the summary with links:
- [bpf-next] bpf: fix calculation of subseq_idx during precision backtracking
https://git.kernel.org/bpf/bpf-next/c/d84b1a6708ee
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
