Interested in working on NetBSD project

[gagan%iitk.ac.in@localhost]

Dear Christos,

I am Gagan Aryan, a senior year computer science undergraduate at IIT
Kanpur, India. I came across this project - Research and integrate the
static code analysers with the NetBSD codebase on the NetBSD site. I am
interested in working on the same. I realise that this was a GSoC project
and the deadline is over. But, I would like to work on it nonetheless and
would be elated if you could mentor me.

I was a GSoC student in the previous year batch with the organisation
OpenAstronomy and am a mentor in this year of the program with the same
organisation. I take immense interest in systems and theoretical computer
science and am interested in pursuing doctoral studies in the same. I have
done a few systems courses that I feel can come handy in this project,
some of which are - Compiler Design, Operating Systems and Software
Development and Operations. I had also taken up a research project in the
past that aimed to come up with a way to estimate the time complexity of
the programs from execution traces. I have interned at Y-Combinator-backed
startups as well. A subset of the things I have worked on are available in
this one page resume - 
https://drive.google.com/file/d/1ev7VMBPlRz1voMmEST0GWQ2vX5sEOH4I/view?usp=sharing.

Could you please give me a bit more context regarding the project and
possibly a few links or documents that I can get started with? I look
forward to hearing from you and work for NetBSD.

Best,
Gagan Aryan,
B.Tech CSE,
IIT Kanpur