mail archive of the barebox mailing list
 help / color / mirror / Atom feed
* [PATCH] commands: keystore: work around missing initialization false positive
@ 2023-10-09 11:53 Ahmad Fatoum
  2023-10-10 14:33 ` Sascha Hauer
  0 siblings, 1 reply; 2+ messages in thread
From: Ahmad Fatoum @ 2023-10-09 11:53 UTC (permalink / raw)
  To: barebox; +Cc: Ahmad Fatoum

clang is unhappy about this. While I can't see how s_len could be used
uninitialized, there's value in silencing these warnings, so the real
issues are not as easy to overlook.

Signed-off-by: Ahmad Fatoum <a.fatoum@pengutronix.de>
---
 commands/keystore.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/commands/keystore.c b/commands/keystore.c
index 4922cf1bebe9..40bcb7105d75 100644
--- a/commands/keystore.c
+++ b/commands/keystore.c
@@ -17,7 +17,7 @@ static int do_keystore(int argc, char *argv[])
 	const char *file = NULL;
 	char *secret_str = NULL;
 	void *secret;
-	size_t s_len;
+	size_t s_len = 0;
 
 	while ((opt = getopt(argc, argv, "rs:f:")) > 0) {
 		switch (opt) {
-- 
2.39.2




^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [PATCH] commands: keystore: work around missing initialization false positive
  2023-10-09 11:53 [PATCH] commands: keystore: work around missing initialization false positive Ahmad Fatoum
@ 2023-10-10 14:33 ` Sascha Hauer
  0 siblings, 0 replies; 2+ messages in thread
From: Sascha Hauer @ 2023-10-10 14:33 UTC (permalink / raw)
  To: Ahmad Fatoum; +Cc: barebox

On Mon, Oct 09, 2023 at 01:53:16PM +0200, Ahmad Fatoum wrote:
> clang is unhappy about this. While I can't see how s_len could be used
> uninitialized, there's value in silencing these warnings, so the real
> issues are not as easy to overlook.

Well we have:

	if (file)
		read_file_2(file, &s_len, (void *)&secret_str, FILESIZE_MAX);
	else if (secret_str)
		s_len = strlen(secret_str);

So s_len could be uninitialized after this when both file and secret_str
are NULL. This can't happen due to:

	if (!do_remove && !file && !secret_str)
		return COMMAND_ERROR_USAGE;

and later:

	if (do_remove) {
		...
		return 0;
	}

While I agree that s_len shouldn't slip through uninitialized this is
really buried in the code and I do not wonder when a compiler doesn't
catch this correctly.

Anyway, applied, thanks

Sascha

> 
> Signed-off-by: Ahmad Fatoum <a.fatoum@pengutronix.de>
> ---
>  commands/keystore.c | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/commands/keystore.c b/commands/keystore.c
> index 4922cf1bebe9..40bcb7105d75 100644
> --- a/commands/keystore.c
> +++ b/commands/keystore.c
> @@ -17,7 +17,7 @@ static int do_keystore(int argc, char *argv[])
>  	const char *file = NULL;
>  	char *secret_str = NULL;
>  	void *secret;
> -	size_t s_len;
> +	size_t s_len = 0;
>  
>  	while ((opt = getopt(argc, argv, "rs:f:")) > 0) {
>  		switch (opt) {
> -- 
> 2.39.2
> 
> 
> 

-- 
Pengutronix e.K.                           |                             |
Steuerwalder Str. 21                       | http://www.pengutronix.de/  |
31137 Hildesheim, Germany                  | Phone: +49-5121-206917-0    |
Amtsgericht Hildesheim, HRA 2686           | Fax:   +49-5121-206917-5555 |



^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2023-10-10 14:35 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-10-09 11:53 [PATCH] commands: keystore: work around missing initialization false positive Ahmad Fatoum
2023-10-10 14:33 ` Sascha Hauer

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox