nonstrings in Glibc

[Paul Eggert]

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.