From: Jonathan Corbet <corbet@lwn.net>
To: 侯朋朋 <pengpeng@iscas.ac.cn>
Cc: Mauro Carvalho Chehab <mchehab@kernel.org>,
linux-media@vger.kernel.org, linux-kernel@vger.kernel.org
Subject: Re: Re: [PATCH] media: dvb-frontends: ds3000: validate firmware size
Date: Sun, 30 Aug 2026 17:06:16 -0600 [thread overview]
Message-ID: <878q5nky3b.fsf@trenco.lwn.net> (raw)
In-Reply-To: <5c173af9.ec340.1a054d9be08.Coremail.pengpeng@iscas.ac.cn>
侯朋朋 <pengpeng@iscas.ac.cn> writes:
> We are a systems software research group developing static analysis
> tools similar to Sparse and Coccinelle. Our goal is to publish at
> venues such as FSE and ICSE while also contributing useful fixes
> upstream. Most of our kernel patches originate from findings reported
> by our tools and are reviewed both manually and with LLM
> assistance. Dynamic validation is often impractical, especially for
> hardware-dependent driver code, and emulation is not always
> sufficient. We therefore rely mainly on static analysis and careful
> review, and often state this way in our prior patches:The issue was
> identified through static analysis and manually reviewed.
Which is all good and fine, and the fixes are appreciated, but you need
to be citing the tools in your changelogs. Please see
Documentation/process/researcher-guidelines.rst
and
Documentation/process/coding-assistants.rst
Thanks,
jon
prev parent reply other threads:[~2026-08-30 23:06 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-08-30 12:39 [PATCH] media: dvb-frontends: ds3000: validate firmware size Pengpeng Hou
2026-08-30 14:45 ` Jonathan Corbet
2026-08-30 22:45 ` 侯朋朋
2026-08-30 23:06 ` Jonathan Corbet [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=878q5nky3b.fsf@trenco.lwn.net \
--to=corbet@lwn.net \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-media@vger.kernel.org \
--cc=mchehab@kernel.org \
--cc=pengpeng@iscas.ac.cn \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox