Christos Zoulas wrote:
> On Dec 29, 10:09pm, al...@yandex.ru (Alexander Nasonov) wrote:
> | Not sure FreeBSD got BPF_IND case right. They basically disabled using
> | big positive values of pc->k for small negative values. They could just
> | copy code from BPF_ABS case:
> |
> | > + if (k > buflen || sizeof(int16_t) > buflen - k) {
> |
> | but they didn't. Can we assume that loads with negative offsets relative
> | to X (e.g. P[X-1:4]) are not allowed by bpf?
>
> I suppose by turning k unsigned, they really want to disable negative offsets.
> We could allow them if needed, but at that point it is better to make k
> signed.
I wish they stated it explicitly in bpf(4). Can I document it in our
bpf(4)?
Alex
