[llvm-dev] GSoC 2021: Making Smart Pointer Checkers default checkers in the Static Analyzer

Deep Majumder via llvm-dev llvm-dev at lists.llvm.org
Mon Aug 23 10:36:55 PDT 2021


Hi everyone,
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
<https://www.linkedin.com/in/artem-dergachev-25bb8196/>, Valeriy Savchenko
<https://www.linkedin.com/in/valeriy-savchenko-a4b06749/?originalSubdomain=ru>
, Gábor Horváth
<https://www.linkedin.com/in/g%C3%A1bor-horv%C3%A1th-80632a77/?originalSubdomain=ca>,
and Raphael Isemann <https://teemperor.de/>.
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20210823/c891b837/attachment.html>


More information about the llvm-dev mailing list