Re: [PATCH net] ethernet: alt1: Fix missing DMA mapping tests

[Jakub Kicinski]

On Tue, 17 Jun 2025 17:47:50 +0200 Thomas Fourier wrote:
> On 16/06/2025 19:46, Jakub Kicinski wrote:
> > On Mon, 16 Jun 2025 15:59:55 +0200 Thomas Fourier wrote:  
> >> 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 ?