[cfe-dev] GSoC 2018 | Integrate Z3 SMT solver with clang static analyzer

[Ashish Gahlot via cfe-dev]

Hello all,

All the discussions that I had with George Kaepenkov and Dominic Chen on
the cfe-dev mailing list and some of my personal research, I have written
the first draft of my proposal:

https://docs.google.com/document/d/1A_r_1b2deVz9bB52SyevbeFtfoI0bIBGQtMoyU_6A9s/edit?usp=sharing

I request all the members of the community to please add your valuable
comments.

Thank you very much,
Ashish Kumar Gahlot

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