<div dir="ltr">Dear All,<div><br></div><div>

<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">I'm Réka Kovács, a final-year M.S. student from Eötvös Loránd University, Budapest, and I would love to work on a Clang SA-related GSoC project this summer. </div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><div>I've been working on static analysis for the past half a year and started meddling in Clang by submitting a few patches:</div><div>- 3 Clang-Tidy checks [1][2][3],<br></div><div>- a Clang SA check [4],<br></div><div>- a diagnostic flag extension [5][6], and<br></div><div>- a tiny tweak in the core [7].<br></div></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">I'm currently studying constraint solving issues in symbolic execution as part of a university project, and plan to continue with a PhD focusing on Clang-related stuff.</div><br class="gmail-Apple-interchange-newline">

I was initially most interested in the Z3 integration project, but I've noticed that Mikhail has applied already. Creating a checker for dangling string pointers would also be an interesting challenge, so I'd like to express my enthusiasm for that project.</div><div><br></div><div>The main goal for me would be to get more comfortable with the inner workings of the analyzer and learn as much along the process as possible.</div><div><br></div><div>I'm also open to any other suggestions, so please be so kind to share your thoughts with me.</div><div><br></div><div>Thanks,</div><div>Réka</div><div><br></div><div><br></div><div>

<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">[1] bugprone-suspicious-memset-<wbr>usage:<span> </span><a href="https://reviews.llvm.org/D32700" target="_blank" style="color:rgb(17,85,204)">https://reviews.llvm.org/<wbr>D32700</a></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">[2] bugprone-undefined-memory-<wbr>manipulation:<span> </span><a href="https://reviews.llvm.org/D35051" target="_blank" style="color:rgb(17,85,204)">https://reviews.llvm.org/<wbr>D35051</a></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">[3] bugprone-integer-division:<span> </span><a href="https://reviews.llvm.org/D35932" target="_blank" style="color:rgb(17,85,204)">https://reviews.llvm.org/<wbr>D35932</a></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">[4] alpha.cplusplus.<wbr>DeleteWithNonVirtualDtor:<span> </span><a href="https://reviews.llvm.org/D35796" target="_blank" style="color:rgb(17,85,204)">https://reviews.llvm.org/<wbr>D35796</a></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">[5] -Wenum-compare:<span> </span><a href="https://reviews.llvm.org/D36407" target="_blank" style="color:rgb(17,85,204)">https://reviews.llvm.org/<wbr>D36407</a></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">[6] -Wenum-compare-switch:<span> </span><a href="https://reviews.llvm.org/D36526" target="_blank" style="color:rgb(17,85,204)">https://reviews.llvm.org/<wbr>D36526</a></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">[7] model unrepresentable left shifts:<span> </span><a href="https://reviews.llvm.org/D41816" target="_blank" style="color:rgb(17,85,204)">https://reviews.llvm.org/<wbr>D41816</a></div></div></div>