On Tue, 17 Jun 2025 17:47:50 +0200 Thomas Fourier wrote:

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

quoted

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

I see.

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.

Given the community's mixed experience with researches, would you
be willing to share the name of the institution ?