[llvm-dev] GSOC 2018 Introduction

[Ashish Gahlot via llvm-dev]

Hello all,

My name is Ashish Kumar Gahlot and I am a final year undergraduate student
of Engineering College Ajmer(Rajasthan, India) majoring in
Computer Science.

I am interested in working on project *Integrate with Z3 SMT solver to
reduce false positives *for GSOC 2018. I am having experience with SMT
solvers as I play CTFs and have used z3 to solve reverse engineering
problems.

How can I contact the mentors for this project and get started?

Looking forward to your response to get started :)

Thanks & Regards,
Ashish Kumar Gahlot

<http://llvm.org/OpenProjects.html#analyzer-z3-smt>

-- 
Ashish Kumar Gahlot
IV year, UG
Govt. Engg. College, Ajmer, India
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180217/8e107172/attachment-0001.html>