<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">Hi Ashish,</div><div class=""><br class=""></div><div class="">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”.</div><div class="">The rest of the proposal is problematic as well, with many unrelated items mixed together.</div><div class=""><br class=""></div><div class="">George</div><div class=""><br class=""></div><br class=""><div><blockquote type="cite" class=""><div class="">On Mar 22, 2018, at 11:18 PM, Ashish Gahlot via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org" class="">cfe-dev@lists.llvm.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class=""><div class=""><div class=""><div class="">Hello all,<br class=""><br class=""></div>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:<br class=""><br class=""><a href="https://docs.google.com/document/d/1A_r_1b2deVz9bB52SyevbeFtfoI0bIBGQtMoyU_6A9s/edit?usp=sharing" class="">https://docs.google.com/document/d/1A_r_1b2deVz9bB52SyevbeFtfoI0bIBGQtMoyU_6A9s/edit?usp=sharing</a><br class=""><br class=""></div>I request all the members of the community to please add your valuable comments.<br class=""><br class=""></div>Thank you very much,<br class=""></div>Ashish Kumar Gahlot<br clear="all" class=""><div class=""><div class=""><div class=""><div class=""><div class=""><div class=""><div class=""><br class="">-- <br class=""><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr" class=""><div class=""><div dir="ltr" class=""><div class="">Ashish Kumar Gahlot</div><div class="">IV year, UG</div><div class="">Govt. Engg. College, Ajmer, India</div></div></div></div></div>
</div></div></div></div></div></div></div></div>
_______________________________________________<br class="">cfe-dev mailing list<br class=""><a href="mailto:cfe-dev@lists.llvm.org" class="">cfe-dev@lists.llvm.org</a><br class="">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev<br class=""></div></blockquote></div><br class=""></body></html>