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
