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>