This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: GSoC: some questions about the static analyzer pass
- From: David Malcolm <dmalcolm at redhat dot com>
- To: "yilu at bupt dot edu dot cn" <yilu at bupt dot edu dot cn>, gcc <gcc at gcc dot gnu dot org>
- Date: Thu, 27 Feb 2020 21:01:06 -0500
- Subject: Re: GSoC: some questions about the static analyzer pass
- References: <202002280931579734209@bupt.edu.cn>+93CCB1C73BAC95E2
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