[openssl-dev] Bug reports and patches for OpenSSL

[yuchi tian]

> Will you make the tool and the corresponding scientific publication
> public?

Yes. We are currently in the step of evaluating our tools. We will submit
our work and share our tools when the project is done.

Sincerely,
Yuchi Tian

On Sun, Feb 5, 2017 at 6:16 AM, Hanno Böck <hanno at hboeck.de> wrote:

> On Sun, 5 Feb 2017 01:54:06 -0500
> yuchi tian <yt8mn at virginia.edu> wrote:
>
> > We are software engineering researchers at University of Virginia. As
> > part of a research project, we have built a tool for automatically
> > finding and fixing error handling bugs and are testing it on
> > various cryptographic libraries and applications that use them.
>
> I can't answer on how to best report those bugs, but:
> That sounds like interesting research.
>
> Will you make the tool and the corresponding scientific publication
> public?
>
> --
> Hanno Böck
> https://hboeck.de/
>
> mail/jabber: hanno at hboeck.de
> GPG: FE73757FA60E4E21B937579FA5880072BBB51E42
> --
> openssl-dev mailing list
> To unsubscribe: https://mta.openssl.org/mailman/listinfo/openssl-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mta.openssl.org/pipermail/openssl-dev/attachments/20170205/c72cf221/attachment.html>