<div dir="ltr"><img class="mailtrack-img" alt="" style="display:flex" src="https://mailtrack.io/trace/mail/277ee5a39009d369c50cd70e3e42995f958951c6.png?u=1097788" width="0" height="0"><div></div><div>Hello,</div><div><br></div><div>I am a 4th year undergrad CS student from India, studying at National Institute of Technology, Trichy. I am interested in contributing to Clang Static Analyzer via GSOC '18.<br></div><div><br></div><div>For the past several days I have been looking into the "<a name="analyzer-z3-smt">Integrate with Z3 SMT solver to reduce false positives</a>" project listed here: <a href="http://llvm.org/OpenProjects.html#analyzer-z3-smt">http://llvm.org/OpenProjects.html#analyzer-z3-smt</a></div><div><br></div><div>I went through the CSA dev-guidelines, and also glanced through this item on fabricator: <a href="https://reviews.llvm.org/D28952">https://reviews.llvm.org/D28952</a></div><div><br></div><div>Besides these two I could not find any material relevant to this project. It would be great if someone could point out additional reading material relevant to this. Since there has already been a merged item of integrating Z3, I'd like to know what the expected outcomes of this project would be.<br></div><div><br></div><div>Regards</div><div>Parth<br></div><div><br><br><br>‌</div></div>