GCC GSoC 2021 - Static analyzer project

[David Malcolm]

On Thu, 2021-01-14 at 10:45 +0530, Adharsh Kamath wrote:
> Hello,
> I came across the list of possible project ideas for GSoC 2021 and
> I'd
> like to contribute to the project regarding the static analysis pass
> in GCC.
> How can I get started with this project?

Hi Adharsh

Sorry about the delay in responding to your email.

Thanks for your interest in the static analysis pass.

Some ideas on getting started with GCC are here:
  https://gcc.gnu.org/wiki/SummerOfCode#Before_you_apply

The analyzer has its own wiki page here:
  https://gcc.gnu.org/wiki/DavidMalcolm/StaticAnalyzer

I've actually already implemented some of the ideas that were on the
GSoC wiki page myself since last summer, so I've updated that page
accordingly:
  https://gcc.gnu.org/wiki/SummerOfCode?action=diff&rev2=187&rev1=184
I've added the idea of SARIF ( https://sarifweb.azurewebsites.net/ ) as
an output format for the static analyzer (and indeed, for the GCC
diagnostics subsystem as a whole).

Do any of the ideas on the page look appealing to you?  I'm open to
other ideas you may have relating to the analyzer, or indeed to gcc
diagnostics.

There's no shortage of things to work on in the analyzer (e.g. C++
support, etc).

Thoughts?

Thanks
Dave