<div dir="ltr"><div><div><div>Respected sir,<br><br></div>Please have a look at the proposal now. I have made changes to the mentioned problematic paragraphs.<br><br></div>Thank you very much,<br></div>Ashish Kumar Gahlot<br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Mar 23, 2018 at 11:06 PM, George Karpenkov <span dir="ltr"><<a href="mailto:ekarpenkov@apple.com" target="_blank">ekarpenkov@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space"><div>Hi Ashish,</div><div><br></div><div>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>The rest of the proposal is problematic as well, with many unrelated items mixed together.</div><div><br></div><div>George</div><div><br></div><br><div><blockquote type="cite"><div><div class="m_5740175052477380185h5"><div>On Mar 22, 2018, at 11:18 PM, Ashish Gahlot via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a>> wrote:</div><br class="m_5740175052477380185m_-342623226689052633Apple-interchange-newline"></div></div><div><div><div class="m_5740175052477380185h5"><div dir="ltr"><div><div><div><div>Hello all,<br><br></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><br><a href="https://docs.google.com/document/d/1A_r_1b2deVz9bB52SyevbeFtfoI0bIBGQtMoyU_6A9s/edit?usp=sharing" target="_blank">https://docs.google.com/docume<wbr>nt/d/1A_r_1b2deVz9bB52SyevbeFt<wbr>foI0bIBGQtMoyU_6A9s/edit?usp=<wbr>sharing</a><br><br></div>I request all the members of the community to please add your valuable comments.<br><br></div>Thank you very much,<br></div>Ashish Kumar Gahlot<br clear="all"><div><div><div><div><div><div><div><br>-- <br><div class="m_5740175052477380185m_-342623226689052633gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>Ashish Kumar Gahlot</div><div>IV year, UG</div><div>Govt. Engg. College, Ajmer, India</div></div></div></div></div>
</div></div></div></div></div></div></div></div></div></div>
______________________________<wbr>_________________<br>cfe-dev mailing list<br><a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a><br><a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/cfe-dev</a><br></div></blockquote></div><br></div></blockquote></div><br><br clear="all"><br>-- <br><div class="m_5740175052477380185gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>Ashish Kumar Gahlot</div><div>IV year, UG</div><div>Govt. Engg. College, Ajmer, India</div></div></div></div></div>
</div></div>