From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 119966 invoked by alias); 21 Nov 2017 00:45:50 -0000 Mailing-List: contact libc-alpha-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: libc-alpha-owner@sourceware.org Received: (qmail 119957 invoked by uid 89); 21 Nov 2017 00:45:50 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=AWL,BAYES_00,KB_WAM_FROM_NAME_SINGLEWORD,SPF_PASS,T_RP_MATCHES_RCVD autolearn=no version=3.3.2 spammy=H*M:4928 X-HELO: zimbra.cs.ucla.edu Subject: Re: nonstrings in Glibc To: Martin Sebor , GNU C Library References: <7fd536fc-e0c4-90fd-fd83-5cfdd29dfe3e@gmail.com> From: Paul Eggert Message-ID: <18d8f077-4928-8282-120c-5c99b2ea6cdc@cs.ucla.edu> Date: Tue, 21 Nov 2017 00:45:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0 MIME-Version: 1.0 In-Reply-To: <7fd536fc-e0c4-90fd-fd83-5cfdd29dfe3e@gmail.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2017-11/txt/msg00702.txt.bz2 On 11/20/2017 10:44 AM, Martin Sebor wrote: > I have been looking at strncpy uses but not > really finding any opportunities to annotate character arrays (or > pointers) nonstring beyond those that have already been marked. > I'll keep looking. Perhaps you should look at calls to strnlen too. If code uses strnlen, that's a hint that possibly strnlen's argument should be marked with nostring.