IETF Logo Mail Archive

Re: [TLS] TLS grammar checker?

Paul Hoffman <paul.hoffman@vpnc.org> Wed, 19 June 2013 14:12 UTC

Return-Path: <paul.hoffman@vpnc.org>
X-Original-To: tls@ietfa.amsl.com
Delivered-To: tls@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 96C2721F9113 for <tls@ietfa.amsl.com>; Wed, 19 Jun 2013 07:12:02 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -102.517
X-Spam-Level:
X-Spam-Status: No, score=-102.517 tagged_above=-999 required=5 tests=[AWL=0.082, 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 ETPIoTOyPRTZ for <tls@ietfa.amsl.com>; Wed, 19 Jun 2013 07:12:02 -0700 (PDT)
Received: from hoffman.proper.com (IPv6.Hoffman.Proper.COM [IPv6:2605:8e00:100:41::81]) by ietfa.amsl.com (Postfix) with ESMTP id E4F6921F8F7B for <tls@ietf.org>; Wed, 19 Jun 2013 07:12:01 -0700 (PDT)
Received: from [10.20.30.90] (50-0-66-165.dsl.dynamic.sonic.net [50.0.66.165]) (authenticated bits=0) by hoffman.proper.com (8.14.5/8.14.5) with ESMTP id r5JEBvu3033314 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO); Wed, 19 Jun 2013 07:11:58 -0700 (MST) (envelope-from paul.hoffman@vpnc.org)
Content-Type: text/plain; charset="us-ascii"
Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\))
From: Paul Hoffman <paul.hoffman@vpnc.org>
In-Reply-To: <2A0EFB9C05D0164E98F19BB0AF3708C711B20DDB18@USMBX1.msg.corp.akamai.com>
Date: Wed, 19 Jun 2013 07:11:57 -0700
Content-Transfer-Encoding: quoted-printable
Message-Id: <2CA0263C-4C88-4C1E-B82B-F6B436185F0D@vpnc.org>
References: <9A043F3CF02CD34C8E74AC1594475C7343D64D33@uxcn10-tdc02.UoA.auckland.ac.nz> <2A0EFB9C05D0164E98F19BB0AF3708C711B20DDB18@USMBX1.msg.corp.akamai.com>
To: "Salz, Rich" <rsalz@akamai.com>
X-Mailer: Apple Mail (2.1508)
Cc: "tls@ietf.org" <tls@ietf.org>
Subject: Re: [TLS] TLS grammar checker?
X-BeenThere: tls@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: "This is the mailing list for the Transport Layer Security working group of the IETF." <tls.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/tls>, <mailto:tls-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/tls>
List-Post: <mailto:tls@ietf.org>
List-Help: <mailto:tls-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/tls>, <mailto:tls-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 19 Jun 2013 14:12:02 -0000

On Jun 19, 2013, at 4:49 AM, "Salz, Rich" <rsalz@akamai.com> wrote:

> To quell some other commentary, I wasn't talking about creating any kind of automatic code generation. Yesterday afternoon I wrote a yacc/lex (er, Bison/flex) parser that seems to get the syntax right. It doesn't do any semantic checking (e.g., duplicate choices in an enumeration). Not sure if I'll go any further with it, so if you want it drop me a line.

Please do let the list know where the tool can be found. It would be useful to check current and future extension documents, and the future 1.3 document.

--Paul Hoffman

v2.29.0 | Report a Bug | By Email | System Status