git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: What's cooking in git.git (Oct 2022, #03; Mon, 10)

From
Johannes Schindelin <johannes.schindelin@gmx.de>
Date
Dec 20, 2022, 23:11 UTC
Message-ID
<92cc457a-d267-d20f-b516-295646b989ca@gmx.de>
In-Reply-To
<Y0Vq3iGifYeBxPbn@coredump.intra.peff.net>
Hi Peff,
On Tue, 11 Oct 2022, Jeff King wrote:
Show 25 quoted lines
> On Mon, Oct 10, 2022 at 10:21:40PM -0700, Junio C Hamano wrote:
>
> > Jeff King <peff@peff.net> writes:
> >
> > > There's a tiny leak in this one. Here's a fix that can go on top.
> > >
> > > -- >8 --
> > > Subject: [PATCH] fsmonitor: fix leak of warning message
> > >
> > > The fsm_settings__get_incompatible_msg() function returns an allocated
> > > string.  So we can't pass its result directly to warning(); we must hold
> > > on to the pointer and free it to avoid a leak.
> > >
> > > The leak here is small and fixed size, but Coverity complained, and
> > > presumably SANITIZE=leaks would eventually.
> > >
> > > Signed-off-by: Jeff King <peff@peff.net>
> > > ---
> > >  fsmonitor.c | 4 +++-
> > >  1 file changed, 3 insertions(+), 1 deletion(-)
> >
> > Is there anybody else who is reading Coverity reports, I wonder.
> > This one is a clear positive.
>
> I doubt it.

As I mentioned to you previously (e.g. in https://lore.kernel.org/git/3896n74p-0r16-866o-r668-70q6pos078n9@tzk.qr/), I do have a look at them, usually a closer look during the -rc phases.

Show 7 quoted lines
> My personal fork still has the coverity github-action which I showed
> last year[1]. We could merge that, but giving access to the project is a
> minor pain. And of course the full list is full of false positives. One
> nice thing about coverity is that it marks each defect by date, and
> tells you how many new ones there are. So when I push up my
> next+personal branches build, I usually just skim over any new ones it
> reports. I'd say about 10% of them are actionable.
That 10% number does not match up with my experience.

In the v2.39.0-rc period, I looked through over a hundred new issues. Pretty much all of them were strvec/strbuf false positives, and even the remaining ones were not actionable. (I typically glance over leaks such as the one you reported, in favor of focusing on bugs that may cause crashes or other serious problems.)

I also recall that https://lore.kernel.org/git/pull.1264.git.1655336146.gitgitgadget@gmail.com/ was the result of more than 150 new alerts that I sifted through, with 11 actionable ones, some of which were later decided to be false positives after all.

Ciao, Johannes

Previous: Jeff KingNext: Jeff King
Message 5 of 8 in “What's cooking in git.git (Oct 2022, #03; Mon, 10)”
  1. Junio C HamanoOct 10, 2022
  2. Jeff KingOct 11, 2022
  3. Junio C HamanoOct 11, 2022
  4. Jeff KingOct 11, 2022
  5. Johannes SchindelinDec 20, 2022
  6. Jeff KingDec 21, 2022
  7. Ævar Arnfjörð BjarmasonDec 22, 2022
  8. Jeff KingDec 22, 2022

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.