
<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi Ashish,<div class=""><br class=""></div><div class="">Please repost your mail on cfe-dev, since the development of the analyzer is discussed there.</div><div class="">In addition, you would need to come up with more concrete questions and drive the development of the proposal if you wish to apply for GSoC.</div><div class="">I have replied to a similar mail recently on cfe-dev (<a href="http://lists.llvm.org/pipermail/cfe-dev/2018-March/057054.html" class="">http://lists.llvm.org/pipermail/cfe-dev/2018-March/057054.html</a>) which gives some useful starting points.</div><div class=""><br class=""></div><div class="">Regards,</div><div class="">George<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Feb 17, 2018, at 6:42 AM, Ashish Gahlot via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class=""><div class=""><div class="">Hello all,<br class=""><br class=""></div>My name is Ashish Kumar Gahlot and I am a final year undergraduate student of Engineering College Ajmer(Rajasthan, India) majoring in<br class="">Computer Science. <br class=""><br class=""></div>I am interested in working on project <b class="">Integrate with Z3 SMT solver to reduce false positives </b>for GSOC 2018. I am having experience with SMT solvers as I play CTFs and have used z3 to solve reverse engineering problems.<br class=""><br class=""></div><div class="">How can I contact the mentors for this project and get started?<br class=""><br class=""></div><div class="">Looking forward to your response to get started :)<br class=""><br class=""></div><div class="">Thanks & Regards,<br class=""></div><div class="">Ashish Kumar Gahlot<br class=""></div><div class=""><br class=""></div><div class=""><a href="http://llvm.org/OpenProjects.html#analyzer-z3-smt" class=""></a><div class=""><div class=""><div class=""><br class="">-- <br class=""><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr" class=""><div class=""><div dir="ltr" class=""><div class="">Ashish Kumar Gahlot</div><div class="">IV year, UG</div><div class="">Govt. Engg. College, Ajmer, India</div></div></div></div></div>

</div></div></div></div></div>

_______________________________________________<br class="">LLVM Developers mailing list<br class=""><a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a><br class="">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev<br class=""></div></blockquote></div><br class=""></div></body></html>