Hi David. Thank you for the reply. On Tue, Jan 19, 2021 at 2:12 AM David Malcolm <dmalc...@redhat.com> wrote: > > 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 examined the analyzer dumps for a few programs. I also read the documentation on the internals of the static analyzer and I've understood the basics of how the analyzer works. > 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. Yes. Making a plugin for the Linux kernel seems very interesting to me. I'd also like to extend support for C++ but I'm not sure if both ideas would be possible, given the time constraints. How do I start with the plugin for the Linux kernel? Thanks, Adharsh
