Re: [PATCH RFC 00/17] bpf: Introduce proof-based verifier enhancement

[Alexei Starovoitov]

On Thu, Nov 6, 2025 at 4:53 AM Hao Sun <sunhao.th@xxxxxxxxx> wrote:
> this enhancement, 403 of 512 previously rejected programs can be verified. T

This is not a review yet. Small question first.

Your github repo has ~1500 bpf object files,
while here and in the paper you mention 512.
What's the difference?

I tried to categorize failures from many of these ~1500
and lots of them are similar.

In paper you mention 3 examples:
- ptr + str_pos, with size MAX - str_pos
- s>>= 31
- &= 0xffff

Did you categorize all 1500 failures into categories?

What are the specific gaps in the verifier beyond these 3 cases ?