Re: [openssl-dev] Bug reports and patches for OpenSSL

2017-02-06 Thread yuchi tian
Thank you for pointing out. That is not what I expect, but very important point for fix. Sincerely, Yuchi Tian On Mon, Feb 6, 2017 at 4:59 PM, Lars Nordin wrote: > On 2017-02-05 07:54, yuchi tian wrote: > > Dear OpenSSL developers, > > We are software engineering

Re: [openssl-dev] Bug reports and patches for OpenSSL

2017-02-06 Thread Lars Nordin
On 2017-02-05 07:54, yuchi tian wrote: Dear OpenSSL developers, 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

Re: [openssl-dev] Bug reports and patches for OpenSSL

2017-02-05 Thread yuchi tian
> Guidance for how to correctly submit patches is given in the > CONTRIBUTING file here: > https://github.com/openssl/openssl/blob/master/CONTRIBUTING > Please could you submit your fixes as a github pull request? One pull > request for all of these issues should be fine. Thank you for the

Re: [openssl-dev] Bug reports and patches for OpenSSL

2017-02-05 Thread 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

Re: [openssl-dev] Bug reports and patches for OpenSSL

2017-02-05 Thread Matt Caswell
On 05/02/17 06:54, yuchi tian wrote: > Dear OpenSSL developers, > > 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

Re: [openssl-dev] Bug reports and patches for OpenSSL

2017-02-05 Thread Hanno Böck
On Sun, 5 Feb 2017 01:54:06 -0500 yuchi tian 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