Content-Type: multipart/alternative;
	boundary="------------I0oLln82RgYv08gQvrI6zn9R"
Message-ID: <c5cff649-efa7-45b1-8965-e75f75ec8fce@inf.ethz.ch>
Date: Sun, 7 Jan 2024 21:15:32 +0100
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: BUG #18276: Heap-buffer-overflow triggered in
 src/backend/utils/adt/datum.c:163
Content-Language: en-US
To: Tom Lane <tgl@sss.pgh.pa.us>
CC: <pgsql-bugs@lists.postgresql.org>
References: <18276-13b98d6ec97ed5b8@postgresql.org>
 <1633850.1704655019@sss.pgh.pa.us>
 <25caa537-1add-4561-8ef9-806c46ac98ce@inf.ethz.ch>
 <1637353.1704656849@sss.pgh.pa.us>
From: Zu-Ming Jiang <zuming.jiang@inf.ethz.ch>
In-Reply-To: <1637353.1704656849@sss.pgh.pa.us>
Archived-At: 
 <https://www.postgresql.org/message-id/c5cff649-efa7-45b1-8965-e75f75ec8fce%40inf.ethz.ch>
Precedence: bulk

--------------I0oLln82RgYv08gQvrI6zn9R
Content-Type: text/plain; charset="UTF-8"; format=flowed
Content-Transfer-Encoding: 7bit

Thanks for the feedback!

> It's not reasonable to expect the system to figure out the behavior
> of C functions (see: halting problem).  In the end this is why
> creating base types is a superuser-only operation: it's possible
> to crash the server with a wrong definition.  I don't see any prospect
> of making that meaningfully safer.

I will adjust my fuzzer to avoid such issues.

Best wishes,
Zuming


--------------I0oLln82RgYv08gQvrI6zn9R
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: 7bit

<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    Thanks for the feedback!<br>
    <br>
    <blockquote type="cite">
      <pre class="moz-quote-pre" wrap="">It's not reasonable to expect the system to figure out the behavior
of C functions (see: halting problem).  In the end this is why
creating base types is a superuser-only operation: it's possible
to crash the server with a wrong definition.  I don't see any prospect
of making that meaningfully safer.</pre>
    </blockquote>
    <br>
    I will adjust my fuzzer to avoid such issues.<br>
    <br>
    Best wishes,<br>
    Zuming<br>
    <div class="moz-cite-prefix">
      <div id="rwhMsgHeader"><br>
        <span style="white-space: pre-wrap">
</span></div>
    </div>
    <br>
  </body>
</html>

--------------I0oLln82RgYv08gQvrI6zn9R--