Re: Stop false review statements

"Danilo Krummrich" <[email protected]> Tue, 19 May 2026 14:23:15 +0200
Newsgroups dev.linux.lists.sashiko,dev.linux.lists.sashiko-reviews,org.kernel.vger.linux-devicetree,org.kernel.vger.linux-kernel,org.kernel.vger.workflows
Message-ID <[email protected]>
On Mon May 18, 2026 at 7:19 PM CEST, Roman Gushchin wrote:
>
>> On May 17, 2026, at 8:56=E2=80=AFAM, Danilo Krummrich <[email protected]> =
wrote:
>> That said, I personally don't mind too much, I really like sashiko, whic=
h is
>> also why I asked for adding the driver-core list. My experience has been=
 that it
>> does a very decent job in providing feedback for C code; my feeling is t=
hat
>> feedback for Rust code is not quite on par yet, but of course it also hi=
ghly
>> depends on the complexity and scope of the corresponding changes.
>
> This is super interesting. An obvious idea is that the training set is
> relatively limited, if we=E2=80=99re talking rust for kernel code. Did yo=
u notice any
> common topics or patterns?

My experience is - and that's probably not surprising as it may tie back to=
 the
relatively limited training set you mention above - that it sometimes loses
context at the FFI boundary, where it has to consider the semantics of the =
C and
the Rust APIs.

I think the difficult part is not necessarily that there is a language boun=
dary
by itself, but rather that it can be difficult for LLMs to capture the sema=
ntic
layer that a Rust API puts on top of a C API in order to derive a safe API.

This also has been my experience in other LLM contexts; the most significan=
t
improvements I saw in output quality have been by providing more semantic
context for the abstraction design.

Probably easy to look up, but does Sashiko consider cover letters already?

> Does it produce more false positives or worse in finding actual bugs in
> comparison to the c code?

I'd say both, and I think the reason is probably the same for both. But to =
be
fair, this is probably also biased by the class of changes I deal with on t=
he C
and on the Rust side too.

It is also fair to say that in Rust we (almost) don't have whole classes of=
 bugs
that we have on the C side; and the class of memory safety issues makes a h=
uge
proportion of bugs on the C side.

If the model is particularly good at finding memory safety issues (and I th=
ink
it is), it of course also messes with the statistics of false positives
comparing C with Rust.

> I personally think that it=E2=80=99s always better to cc some mailing lis=
t and/or
> maintainers, so there is a second pair of eyes. I totally agree that repl=
ying
> just to the author is less effective.  Of course, we can add the text you=
=E2=80=99re
> proposing, but why not simply configure sashiko to cc the mailing list?

I'm not sure it addresses much of this concern, as I prefer to keep everyon=
e the
patch (series) has been sent to explicitly in the loop.

Of course everyone has a different workflow, but I think it is fair to assu=
me
that most people who are addressed directly follow along through their inbo=
x and
not through the mailing list.

So, I think the real alternative is "reply all", which for multiple reasons=
 I'm
not convinced is the right general call to make yet.

(I do consider it for one of the components I maintain though.)

Thanks,
Danilo