[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: CVE-2017-14482 - Red Hat Customer Portal

From: Narendra Joshi
Subject: Re: CVE-2017-14482 - Red Hat Customer Portal
Date: Wed, 27 Sep 2017 00:27:56 +0530
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)

<> writes:

> On Sun, Sep 24, 2017 at 04:42:54PM +0200, Óscar Fuentes wrote:
> [...]
>> It seems that you think that formal verification says that the software
>> is correct. That's in theory. Practice is different, as usual.
> And to embellish this discussion with an Argument by Authority:
>   "Beware of bugs in the above code; I have only proved it
>    correct, not tried it."
And I would like to add this to the farrago presented in this thread:

You talk about formal verification (always?) but for some use cases,
it's okay to start with "Let it crash!". People have done it
Narendra Joshi

reply via email to

[Prev in Thread] Current Thread [Next in Thread]