Re: [v3] dmaengine: tegra186-gpc-dma: Read channel state under the lock

[Markus Elfring]

>> Under which circumstances will additional background information become available?
> 
> The static analyzer is a research-based one, built upon the LLVM IR.
> The analysis is founded
> on a symbolic model (not an ML model) for concurrency bugs.

Thanks for such a hint.


>                                                             And due to
> the anonymity
> requirements, I am afraid I cannot reveal further information.

How does this feedback fit to other known guidance?
https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Documentation/process/researcher-guidelines.rst?h=v7.3-rc5#n5


>>> Were any more of your contributions supported by advanced source code analysis tools?
> 
> If you meant AI tools, then at this stage, no. For this patch, I have
> used AI tools to help phrase
> the patch better, but I did not use them for code analysis.
Will this information trigger further collateral evolution?

Regards,
Markus