(original) (raw)

I would like to announce that I have completed the following project for GSoC: "Making Smart Pointer Checkers default checkers in the Static Analyzer". My mentors are Artem Dergachev, Valeriy Savchenko, Gábor Horváth, and Raphael Isemann.

The final report is available here: https://reddocmd.github.io/sturdy-octo-sniffle/docs/report/. Please feel free to let me know your thoughts and comments.

I would also be using this mail thread to post further progress/updates on areas not fully covered (in this report or the code).

Warm regards,

Deep Majumder