On 16/06/2025 19:46, Jakub Kicinski wrote:

On Mon, 16 Jun 2025 15:59:55 +0200 Thomas Fourier wrote:

quoted

According to Shuah Khan[1]

Sorry for a non-technical question -- are you part of some outreach /
training program? The presentation you linked is from 2013, I wonder
what made you pick up this particular task.

I am doing a master thesis on static analysis and I am writing a checker
with

Smatch to test if error codes are well-checked.  My supervisor suggested
that

I look at DMA mapping errors checks to see if people were interested in such

patches and because they are quite easy to statically assert.