GSoC: some questions about the static analyzer pass

[David Malcolm]

On Fri, 2020-02-28 at 09:31 +0800, yilu@bupt.edu.cn wrote:
> Hello everybody! I've learned about the projects in Google summer of
> code, and I'm so interested in the static analyzer pass. I wonder
> that where I can read the code of the static analyzer pass and how to
> contact with the mental David Malcolm. Can anyone help me please?
> Thank you so much.

Hi!

The code is in the gcc/analyzer subdirectory of the GCC source tree:
  https://gcc.gnu.org/git/?p=gcc.git;a=tree;f=gcc/analyzer

Internal documentation is here:
  https://gcc.gnu.org/onlinedocs/gccint/Static-Analyzer.html

Some other notes can be seen at:
  https://gcc.gnu.org/wiki/DavidMalcolm/StaticAnalyzer


Hope this is helpful
David