Linux Media Controller development
 help / color / mirror / Atom feed
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

      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