<div dir="ltr"><div><div><div>Hello all,<br><br></div>My name is Ashish Kumar Gahlot and I am a final year undergraduate student of Engineering College Ajmer(Rajasthan, India) majoring in<br>Computer Science. <br><br></div>I am interested in working on project <b>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><br></div><div>How can I contact the mentors for this project and get started?<br><br></div><div>Looking forward to your response to get started :)<br><br></div><div>Thanks & Regards,<br></div><div>Ashish Kumar Gahlot<br></div><div><br></div><div><a href="http://llvm.org/OpenProjects.html#analyzer-z3-smt"></a><div><div><div><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>Ashish Kumar Gahlot</div><div>IV year, UG</div><div>Govt. Engg. College, Ajmer, India</div></div></div></div></div>
</div></div></div></div></div>