From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <eggert@cs.ucla.edu>
Received: from zimbra.cs.ucla.edu (zimbra.cs.ucla.edu [131.179.128.68])
 by sourceware.org (Postfix) with ESMTPS id 4A226385782A
 for <libc-alpha@sourceware.org>; Thu, 25 Feb 2021 04:53:49 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 4A226385782A
Authentication-Results: sourceware.org;
 dmarc=none (p=none dis=none) header.from=cs.ucla.edu
Authentication-Results: sourceware.org;
 spf=pass smtp.mailfrom=eggert@cs.ucla.edu
Received: from localhost (localhost [127.0.0.1])
 by zimbra.cs.ucla.edu (Postfix) with ESMTP id 933F1160071;
 Wed, 24 Feb 2021 20:53:48 -0800 (PST)
Received: from zimbra.cs.ucla.edu ([127.0.0.1])
 by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10032)
 with ESMTP id Z2KvWv8l-HEv; Wed, 24 Feb 2021 20:53:47 -0800 (PST)
Received: from localhost (localhost [127.0.0.1])
 by zimbra.cs.ucla.edu (Postfix) with ESMTP id E56EA160076;
 Wed, 24 Feb 2021 20:53:47 -0800 (PST)
X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu
Received: from zimbra.cs.ucla.edu ([127.0.0.1])
 by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10026)
 with ESMTP id Q1ohllwVL9S7; Wed, 24 Feb 2021 20:53:47 -0800 (PST)
Received: from [192.168.1.9] (cpe-23-243-218-95.socal.res.rr.com
 [23.243.218.95])
 by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id B6336160071;
 Wed, 24 Feb 2021 20:53:47 -0800 (PST)
Subject: Re: 'trusted and reasonably structured' regular expressions
To: Siddhesh Poyarekar <siddhesh@gotplt.org>, Zack Weinberg <zackw@panix.com>
Cc: Florian Weimer <fweimer@redhat.com>,
 Siddhesh Poyarekar via Libc-alpha <libc-alpha@sourceware.org>,
 Joseph Myers <joseph@codesourcery.com>
References: <2152f614-0003-8dcf-f5cd-2d12c4e77e28@gotplt.org>
 <alpine.DEB.2.22.394.2102242230490.30665@digraph.polyomino.org.uk>
 <72abad60-65ab-10e9-45fb-748fdcd310db@gotplt.org>
 <CAKCAbMhEgHYNKrAeOfm0kWqcfmZaJuXfAZ+PeHDOFjsJ8+Kx3Q@mail.gmail.com>
 <31c6cdcf-7882-6ec2-e709-2e05cbeb6b76@gotplt.org>
From: Paul Eggert <eggert@cs.ucla.edu>
Organization: UCLA Computer Science Department
Message-ID: <2c252ede-ec7c-0d49-3e8e-ee217a830b38@cs.ucla.edu>
Date: Wed, 24 Feb 2021 20:53:47 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.7.1
MIME-Version: 1.0
In-Reply-To: <31c6cdcf-7882-6ec2-e709-2e05cbeb6b76@gotplt.org>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
X-Spam-Status: No, score=-4.5 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS,
 NICE_REPLY_A, RCVD_IN_DNSWL_LOW, SPF_HELO_NONE, SPF_PASS,
 TXREP autolearn=ham autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: libc-alpha@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Libc-alpha mailing list <libc-alpha.sourceware.org>
List-Unsubscribe: <https://sourceware.org/mailman/options/libc-alpha>,
 <mailto:libc-alpha-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/libc-alpha/>
List-Post: <mailto:libc-alpha@sourceware.org>
List-Help: <mailto:libc-alpha-request@sourceware.org?subject=help>
List-Subscribe: <https://sourceware.org/mailman/listinfo/libc-alpha>,
 <mailto:libc-alpha-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Thu, 25 Feb 2021 04:53:50 -0000

On 2/24/21 7:15 PM, Siddhesh Poyarekar wrote:
> * Stack overflows due to recursion when processing patterns
> 
> Crashes, user controlled unbounded alloca,

I don't understand why user-controlled unbounded alloca is in a 
different category from user-controlled unbounded recursion. In both 
cases you exhaust the stack. So I suggest removing "user controlled 
unbounded alloca,".

Other than that it looks good.