Re: [hybi] [Technical Errata Reported] RFC6455 (3150)

Peter Saint-Andre <stpeter@stpeter.im> Wed, 21 March 2012 23:41 UTC

Return-Path: <stpeter@stpeter.im>
X-Original-To: hybi@ietfa.amsl.com
Delivered-To: hybi@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 04DB121E8142 for <hybi@ietfa.amsl.com>; Wed, 21 Mar 2012 16:41:48 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -102.637
X-Spam-Level:
X-Spam-Status: No, score=-102.637 tagged_above=-999 required=5 tests=[AWL=-0.038, BAYES_00=-2.599, USER_IN_WHITELIST=-100]
Received: from mail.ietf.org ([12.22.58.30]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id BxAHb4YtY3u8 for <hybi@ietfa.amsl.com>; Wed, 21 Mar 2012 16:41:47 -0700 (PDT)
Received: from stpeter.im (mailhost.stpeter.im [207.210.219.225]) by ietfa.amsl.com (Postfix) with ESMTP id 8208C21E80ED for <hybi@ietf.org>; Wed, 21 Mar 2012 16:41:47 -0700 (PDT)
Received: from squire.local (unknown [72.163.0.129]) (Authenticated sender: stpeter) by stpeter.im (Postfix) with ESMTPSA id 7DCFE4005B; Wed, 21 Mar 2012 17:54:32 -0600 (MDT)
Message-ID: <4F6A673A.2010403@stpeter.im>
Date: Wed, 21 Mar 2012 17:41:46 -0600
From: Peter Saint-Andre <stpeter@stpeter.im>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.5; rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2
MIME-Version: 1.0
To: Bjoern Hoehrmann <derhoermi@gmx.net>
References: <20120307191713.B5D1262179@rfc-editor.org> <voufl79mefv6uso1j1a24o3bb8rheqohl6@hive.bjoern.hoehrmann.de> <4F57FD15.2030703@stpeter.im> <9fvfl7dc444d23n3539v6ep5a0kighhfjd@hive.bjoern.hoehrmann.de>
In-Reply-To: <9fvfl7dc444d23n3539v6ep5a0kighhfjd@hive.bjoern.hoehrmann.de>
X-Enigmail-Version: 1.4
OpenPGP: url=https://stpeter.im/stpeter.asc
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
Cc: hybi@ietf.org
Subject: Re: [hybi] [Technical Errata Reported] RFC6455 (3150)
X-BeenThere: hybi@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: Server-Initiated HTTP <hybi.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/hybi>, <mailto:hybi-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/hybi>
List-Post: <mailto:hybi@ietf.org>
List-Help: <mailto:hybi-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/hybi>, <mailto:hybi-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 21 Mar 2012 23:41:48 -0000

On 3/7/12 5:37 PM, Bjoern Hoehrmann wrote:
> * Peter Saint-Andre wrote:
>> On 3/7/12 5:24 PM, Bjoern Hoehrmann wrote:
>>> If this is true, why did we fail to catch this in time? Was it added
>>> late, for instance? (I would like an analysis to support discussions
>>> whether to create a review team specifically for this kind of formal
>>> syntax error.)
>>
>> As far as I can tell from the erratum, this was a problem with
>> generation of an example, not a syntax error.
> 
> Base64 is a formal language. Unlike interpreting english prose, people
> are not good at spotting problems with formal languages, in the case
> here they would most probably have to use software to verify the code.
> That it occurs in an example does not really matter, people would like-
> ly use the examples in the specification for their first tests, and if
> they come up with different results there is costly confusion, to the
> point that people might change their correct implementation so it re-
> produces the example, which would lead to interoperability problems. I
> think we should try to avoid this kind of costly bug, and understanding
> how we ended up with it, if the report is correct, is the first step.

Understood.

Alexey, can you verify that the example is incorrect?

Peter

-- 
Peter Saint-Andre
https://stpeter.im/