[llvm-dev] GSOC 2018 Introduction

[George Karpenkov via llvm-dev]

Hi Ashish,

Please repost your mail on cfe-dev, since the development of the analyzer is discussed there.
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.
I have replied to a similar mail recently on cfe-dev (http://lists.llvm.org/pipermail/cfe-dev/2018-March/057054.html <http://lists.llvm.org/pipermail/cfe-dev/2018-March/057054.html>) which gives some useful starting points.

Regards,
George

> On Feb 17, 2018, at 6:42 AM, Ashish Gahlot via llvm-dev <llvm-dev at lists.llvm.org> wrote:
> 
> 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
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180306/8201b59f/attachment.html>