Re: [PATCH 32/82] vringh: Refactor intentional wrap-around calculation

2024-01-26 Thread Eugenio Perez Martin
On Tue, Jan 23, 2024 at 2:42 AM Kees Cook wrote: > > In an effort to separate intentional arithmetic wrap-around from > unexpected wrap-around, we need to refactor places that depend on this > kind of math. One of the most common code patterns of this is: > > VAR + value < VAR > > Notably,

Re: [PATCH 77/82] virtio: Refactor intentional wrap-around test

2024-01-26 Thread Eugenio Perez Martin
On Tue, Jan 23, 2024 at 2:28 AM Kees Cook wrote: > > In an effort to separate intentional arithmetic wrap-around from > unexpected wrap-around, we need to refactor places that depend on this > kind of math. One of the most common code patterns of this is: > > VAR + value < VAR > > Notably,