Deutsch English Français Italiano |
<0-20240327113225@ram.dialup.fu-berlin.de> View for Bookmarking (what is this?) Look up another Usenet article |
Path: eternal-september.org!news.eternal-september.org!feeder3.eternal-september.org!usenet.ovh!weretis.net!feeder8.news.weretis.net!fu-berlin.de!uni-berlin.de!not-for-mail From: ram@zedat.fu-berlin.de (Stefan Ram) Newsgroups: comp.lang.c Subject: Re: A Famous Security Bug Date: 27 Mar 2024 10:35:27 GMT Organization: Stefan Ram Lines: 12 Expires: 1 Feb 2025 11:59:58 GMT Message-ID: <0-20240327113225@ram.dialup.fu-berlin.de> References: <bug-20240320191736@ram.dialup.fu-berlin.de> <memset-20240327112617@ram.dialup.fu-berlin.de> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Trace: news.uni-berlin.de zLTz1xmPlLUJ6ilp7ArhEwsDDJXl/aPDFVwGz9rUkTNcxM Cancel-Lock: sha1:jTwV7RbyUmhYeI+p9eK/gTS+m98= sha256:8Pk+MYLKog2TVPYFoWDOkfMubHy4kD1EWL2KIviPbRQ= X-Copyright: (C) Copyright 2024 Stefan Ram. All rights reserved. Distribution through any means other than regular usenet channels is forbidden. It is forbidden to publish this article in the Web, to change URIs of this article into links, and to transfer the body without this notice, but quotations of parts in other Usenet posts are allowed. X-No-Archive: Yes Archive: no X-No-Archive-Readme: "X-No-Archive" is set, because this prevents some services to mirror the article in the web. But the article may be kept on a Usenet archive server with only NNTP access. X-No-Html: yes Content-Language: en-US Accept-Language: de-DE-1901, en-US, it, fr-FR ram@zedat.fu-berlin.de (Stefan Ram) wrote or quoted: >void f() >{ char buffer[MAX]; > /* . . . */ > memset( buffer, 0, sizeof( buffer )); > Ensures( buffer[ 0 ]== 0 ); } Oh, and now I see a potential bug in this: "buffer[ 0 ]" assumes that MAX > 0. (ISO C forbids "char buffer[ 0 ];", but the code might be used on some nonstandard implementation.)