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

[Ashish Gahlot via cfe-dev]

Respected sir,

Please have a look at the proposal now. I have made changes to the
mentioned problematic paragraphs.

Thank you very much,
Ashish Kumar Gahlot

On Fri, Mar 23, 2018 at 11:06 PM, George Karpenkov <ekarpenkov at apple.com>
wrote:

> 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_1b2deVz9bB52SyevbeFt
> foI0bIBGQtMoyU_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
>
>
>


-- 
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/1fce834f/attachment.html>