<div dir="ltr">Hi everyone,<div>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<font color="#000000"> <span style="background-color:rgb(255,255,255)"><a href="https://www.linkedin.com/in/artem-dergachev-25bb8196/" style="box-sizing:inherit;text-decoration-line:none;font-family:roboto,sans-serif;letter-spacing:0.33px">Artem Dergachev</a><span style="font-family:roboto,sans-serif;letter-spacing:0.33px">, </span><a href="https://www.linkedin.com/in/valeriy-savchenko-a4b06749/?originalSubdomain=ru" style="box-sizing:inherit;text-decoration-line:none;font-family:roboto,sans-serif;letter-spacing:0.33px">Valeriy Savchenko</a><span style="font-family:roboto,sans-serif;letter-spacing:0.33px">, </span><a href="https://www.linkedin.com/in/g%C3%A1bor-horv%C3%A1th-80632a77/?originalSubdomain=ca" style="box-sizing:inherit;text-decoration-line:none;font-family:roboto,sans-serif;letter-spacing:0.33px">Gábor Horváth</a><span style="font-family:roboto,sans-serif;letter-spacing:0.33px">, and </span><a href="https://teemperor.de/" style="box-sizing:inherit;text-decoration-line:none;font-family:roboto,sans-serif;letter-spacing:0.33px">Raphael Isemann</a>.</span></font></div><div><font color="#000000"><span style="background-color:rgb(255,255,255)">The final report is available here: </span></font><a href="https://reddocmd.github.io/sturdy-octo-sniffle/docs/report/">https://reddocmd.github.io/sturdy-octo-sniffle/docs/report/</a>. Please feel free to let me know your thoughts and comments.</div><div>I would also be using this mail thread to post further progress/updates on areas not fully covered (in this report or the code).</div><div>Warm regards,</div><div>Deep Majumder</div><div><font color="#000000"><span style="background-color:rgb(255,255,255)"><br></span></font></div></div>