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

[George Karpenkov via cfe-dev]

Hi Ashish,

The first paragraph of your proposal is taken almost verbatim from the abstract of "Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software”, and the second from “Z3: An Efficient SMT Solver”.
The rest of the proposal is problematic as well, with many unrelated items mixed together.

George


> On Mar 22, 2018, at 11:18 PM, Ashish Gahlot via cfe-dev <cfe-dev at lists.llvm.org> wrote:
> 
> 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 <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
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20180323/ea7ba075/attachment.html>