GSoC: Working on the static analyzer

[David Malcolm]

On Tue, 2022-01-11 at 11:03 +0530, Mir Immad via Gcc wrote:
> Hi everyone,

Hi, and welcome.

> I intend to work on the static analyzer. Are these documents enough to
> get
> started: https://gcc.gnu.org/onlinedocs/gccint and
> https://gcc.gnu.org/onlinedocs/gccint/Analyzer-Internals.html#Analyzer-Internals

Yes.

There are also some high-level notes here:
  https://gcc.gnu.org/wiki/DavidMalcolm/StaticAnalyzer

Also, given that the analyzer is part of GCC, the more general
introductions to hacking on GCC will be useful.

I recommend creating a trivial C source file with a bug in it (e.g. a
3-line function with a use-after-free), and stepping through the
analyzer to get a sense of how it works.

Hope this is helpful; don't hesitate to ask questions.
Dave