Support for SARIF formatted diagnostics

Support for SARIF formatted diagnostics

[Eli Zaretskii]

Hi,

In

  https://gcc.gnu.org/pipermail/gcc/2023-May/241566.html

a GCC developer asked whether Emacs can support compiler diagnostics
in SARIF format, which GCC 13 is capable of emitting (see towards the
end of that message).  I don't think we support that, do we?  If not,
I think it would be good to add such support, if someone wants to work
on that.

TIA

Re: Support for SARIF formatted diagnostics

[Richard Stallman]

[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

What does SARIF format look like?  Is there any difficulty dstinguishing
it from oter suported formats?

-- 
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)

Re: Support for SARIF formatted diagnostics

[Eli Zaretskii]

> From: Richard Stallman <rms@gnu.org>
> Cc: emacs-devel@gnu.org
> Date: Thu, 18 May 2023 18:39:30 -0400
> 
> What does SARIF format look like?  Is there any difficulty dstinguishing
> it from oter suported formats?

AFAIU, SARIF format is basically JSON with special properties and
objects defined by the corresponding standard document.

Re: Support for SARIF formatted diagnostics

[Richard Stallman]

[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

  > AFAIU, SARIF format is basically JSON with special properties and
  > objects defined by the corresponding standard document.

Is it straightforard to distinguish SARIF format and handle it?

-- 
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)

Re: Support for SARIF formatted diagnostics

[Eli Zaretskii]

> From: Richard Stallman <rms@gnu.org>
> Cc: emacs-devel@gnu.org
> Date: Sun, 21 May 2023 17:03:45 -0400
> 
>   > AFAIU, SARIF format is basically JSON with special properties and
>   > objects defined by the corresponding standard document.
> 
> Is it straightforard to distinguish SARIF format and handle it?

I expect so, but I don't have access to a GCC version which supports
that to check.

Re: Support for SARIF formatted diagnostics

[Björn Bidar]

Eli Zaretskii <eliz@gnu.org> writes:

>> From: Richard Stallman <rms@gnu.org>
>> Cc: emacs-devel@gnu.org
>> Date: Sun, 21 May 2023 17:03:45 -0400
>> 
>>   > AFAIU, SARIF format is basically JSON with special properties and
>>   > objects defined by the corresponding standard document.
>> 
>> Is it straightforard to distinguish SARIF format and handle it?
>
> I expect so, but I don't have access to a GCC version which supports
> that to check.

Which GCC version supports it? You can get a recent GCC by using the
open build service client (osc) in a project that you checked out by
running `osc shell` to test.

Re: Support for SARIF formatted diagnostics

[Eli Zaretskii]

> From: Björn Bidar <bjorn.bidar@thaodan.de>
> Cc: rms@gnu.org,  emacs-devel@gnu.org
> Date: Mon, 22 May 2023 07:35:58 +0300
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> >> From: Richard Stallman <rms@gnu.org>
> >> Cc: emacs-devel@gnu.org
> >> Date: Sun, 21 May 2023 17:03:45 -0400
> >> 
> >>   > AFAIU, SARIF format is basically JSON with special properties and
> >>   > objects defined by the corresponding standard document.
> >> 
> >> Is it straightforard to distinguish SARIF format and handle it?
> >
> > I expect so, but I don't have access to a GCC version which supports
> > that to check.
> 
> Which GCC version supports it?

GCC 1,,, AFAIU.

> You can get a recent GCC by using the open build service client
> (osc) in a project that you checked out by running `osc shell` to
> test.

Thanks, I hope someone will find time to do that and report.

Re: Support for SARIF formatted diagnostics

[Eli Zaretskii]

> From: Björn Bidar <bjorn.bidar@thaodan.de>
> Cc: rms@gnu.org,  emacs-devel@gnu.org
> Date: Mon, 22 May 2023 07:35:58 +0300
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> >> From: Richard Stallman <rms@gnu.org>
> >> Cc: emacs-devel@gnu.org
> >> Date: Sun, 21 May 2023 17:03:45 -0400
> >> 
> >>   > AFAIU, SARIF format is basically JSON with special properties and
> >>   > objects defined by the corresponding standard document.
> >> 
> >> Is it straightforard to distinguish SARIF format and handle it?
> >
> > I expect so, but I don't have access to a GCC version which supports
> > that to check.
> 
> Which GCC version supports it?

GCC 13, AFAIU.

> You can get a recent GCC by using the open build service client
> (osc) in a project that you checked out by running `osc shell` to
> test.

Thanks, I hope someone will find time to do that and report.