Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

A bug in the code is worth two in the documentation.

devel / comp.lang.c / Static analysis tools to catch use of reserved identifiers?

SubjectAuthor
* Static analysis tools to catch use of reserved identifiers?Anthony Cuozzo
+- Re: Static analysis tools to catch use of reserved identifiers?Malcolm McLean
`- Re: Static analysis tools to catch use of reserved identifiers?Keith Thompson

1
Static analysis tools to catch use of reserved identifiers?

<16NwN.343220$xHn7.45376@fx14.iad>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=32741&group=comp.lang.c#32741

  copy link   Newsgroups: comp.lang.c
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx14.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Newsgroups: comp.lang.c
Content-Language: en-US
From: anth...@cuozzo.us (Anthony Cuozzo)
Subject: Static analysis tools to catch use of reserved identifiers?
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 12
Message-ID: <16NwN.343220$xHn7.45376@fx14.iad>
X-Complaints-To: abuse@usenetserver.com
NNTP-Posting-Date: Wed, 07 Feb 2024 15:13:01 UTC
Organization: UsenetServer - www.usenetserver.com
Date: Wed, 7 Feb 2024 10:13:00 -0500
X-Received-Bytes: 1094
 by: Anthony Cuozzo - Wed, 7 Feb 2024 15:13 UTC

My inspiration is this post: https://news.ycombinator.com/item?id=39275575

I'm interested in knowing if there are any static analysis tools which
catch uses of reserved identifier patterns under standard C in addition
to those reserved under POSIX.

(Please forgive me if "identifier" is the wrong term here. I'm
interested in looking at variable names, function names, typedef names,
struct/union/enum (and their members) names, preprocessor macro names, etc.)

Thanks,
--Anthony

Re: Static analysis tools to catch use of reserved identifiers?

<uq072f$1fnso$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=32743&group=comp.lang.c#32743

  copy link   Newsgroups: comp.lang.c
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: malcolm....@gmail.com (Malcolm McLean)
Newsgroups: comp.lang.c
Subject: Re: Static analysis tools to catch use of reserved identifiers?
Date: Wed, 7 Feb 2024 15:19:42 +0000
Organization: A noiseless patient Spider
Lines: 22
Message-ID: <uq072f$1fnso$1@dont-email.me>
References: <16NwN.343220$xHn7.45376@fx14.iad>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 7 Feb 2024 15:19:43 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="7aae7ff6818ee5d078b3e48fca1fe76d";
logging-data="1564568"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18LN7GZCwWAp//Kwz1ZjDPpHg0RdFe3cYg="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:FEbNX+BDqtcdn+DlB4n2gj2q9AI=
Content-Language: en-GB
In-Reply-To: <16NwN.343220$xHn7.45376@fx14.iad>
 by: Malcolm McLean - Wed, 7 Feb 2024 15:19 UTC

On 07/02/2024 15:13, Anthony Cuozzo wrote:
>
> (Please forgive me if "identifier" is the wrong term here. I'm
> interested in looking at variable names, function names, typedef names,
> struct/union/enum (and their members) names, preprocessor macro names,
> etc.)
>
>
'But "glory" doesn't mean "a nice knock-down argument",' Alice objected.

'When I use a word,' Humpty Dumpty said, in rather a scornful tone, 'it
means just what I choose it to mean — neither more nor less.'

'The question is,' said Alice, 'whether you can make words mean so many
different things.'

'The question is,' said Humpty Dumpty, 'which is to be master — that's
all.'
--
Check out Basic Algorithms and my other books:
https://www.lulu.com/spotlight/bgy1mm

Re: Static analysis tools to catch use of reserved identifiers?

<87zfwcgrft.fsf@nosuchdomain.example.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=32759&group=comp.lang.c#32759

  copy link   Newsgroups: comp.lang.c
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Keith.S....@gmail.com (Keith Thompson)
Newsgroups: comp.lang.c
Subject: Re: Static analysis tools to catch use of reserved identifiers?
Date: Wed, 07 Feb 2024 08:38:46 -0800
Organization: None to speak of
Lines: 21
Message-ID: <87zfwcgrft.fsf@nosuchdomain.example.com>
References: <16NwN.343220$xHn7.45376@fx14.iad>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: dont-email.me; posting-host="2a9b0d846ed1f5597fe0b0ae18bc496c";
logging-data="1588229"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/XZoNTZlDsLrrsAM2gxfLv"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
Cancel-Lock: sha1:hpMN3OcrR5zSYme828gRpKEETFY=
sha1:JEltwuxrKm6wz4f+CcZpnlFP4eo=
 by: Keith Thompson - Wed, 7 Feb 2024 16:38 UTC

Anthony Cuozzo <anthony@cuozzo.us> writes:
> My inspiration is this post: https://news.ycombinator.com/item?id=39275575

According to that post clang's "-Wreserved-identifier" option warns
about identifiers that are reserved by the C standard.

> I'm interested in knowing if there are any static analysis tools which
> catch uses of reserved identifier patterns under standard C in
> addition to those reserved under POSIX.
>
> (Please forgive me if "identifier" is the wrong term here. I'm
> interested in looking at variable names, function names, typedef
> names, struct/union/enum (and their members) names, preprocessor macro
> names, etc.)

If I understand you correctly, "identifier" is exactly the right term.

--
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
Working, but not speaking, for Medtronic
void Void(void) { Void(); } /* The recursive call of the void */

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor