* Some more fixes for the attr module
@ 2009-11-07 19:10 Mikael Magnusson
0 siblings, 0 replies; only message in thread
From: Mikael Magnusson @ 2009-11-07 19:10 UTC (permalink / raw)
To: zsh workers
[-- Attachment #1: Type: text/plain, Size: 334 bytes --]
I ran clang 2.6 in analyze mode on zsh and it picked up some mistakes
I made with the error handling (patch attached). If anyone wants to
look at the rest i tarred up the reports and put them here, but most
of them are likely to be false positives (7.3MB packed)
http://mika.l3ib.org/zsh-clang-2009-11-06.tar.gz
--
Mikael Magnusson
[-- Attachment #2: 0001-attr-Fix-some-logic-errors-pointed-out-by-clang.patch --]
[-- Type: text/x-patch, Size: 2027 bytes --]
From: Mikael Magnusson <mikachu@gmail.com>
Date: Fri, 6 Nov 2009 23:40:10 +0100
Subject: [PATCH] attr: Fix some logic errors pointed out by clang
Three _len variables were checked when they were uninitialized
The case for returning 2 could never occur
---
Src/Modules/attr.c | 12 ++++++------
1 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/Src/Modules/attr.c b/Src/Modules/attr.c
index 7234862..a9e9949 100644
--- a/Src/Modules/attr.c
+++ b/Src/Modules/attr.c
@@ -98,7 +98,7 @@ static int
bin_getattr(char *nam, char **argv, Options ops, UNUSED(int func))
{
int ret = 0;
- int list_len, val_len, attr_len, slen;
+ int list_len, val_len = 0, attr_len = 0, slen;
char *value, *file = argv[0], *attr = argv[1], *param = argv[2];
int symlink = OPT_ISSET(ops, 'h');
@@ -125,9 +125,9 @@ bin_getattr(char *nam, char **argv, Options ops, UNUSED(int func))
zfree(value, val_len+1);
}
}
- if (list_len < 0 || val_len < 0 || attr_len < 0) {
+ if (list_len < 0 || val_len < 0 || attr_len < 0 || attr_len > val_len) {
zwarnnam(nam, "%s: %e", metafy(file, slen, META_NOALLOC), errno);
- ret = 1 + (attr_len > val_len);
+ ret = 1 + (attr_len > val_len || attr_len < 0);
}
return ret;
}
@@ -172,7 +172,7 @@ static int
bin_listattr(char *nam, char **argv, Options ops, UNUSED(int func))
{
int ret = 0;
- int val_len, list_len, slen;
+ int val_len, list_len = 0, slen;
char *value, *file = argv[0], *param = argv[1];
int symlink = OPT_ISSET(ops, 'h');
@@ -214,9 +214,9 @@ bin_listattr(char *nam, char **argv, Options ops, UNUSED(int func))
}
zfree(value, val_len+1);
}
- if (val_len < 0 || list_len < 0) {
+ if (val_len < 0 || list_len < 0 || list_len > val_len) {
zwarnnam(nam, "%s: %e", metafy(file, slen, META_NOALLOC), errno);
- ret = 1 + (list_len > val_len);
+ ret = 1 + (list_len > val_len || list_len < 0);
}
return ret;
}
--
1.6.5
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2009-11-07 19:10 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-11-07 19:10 Some more fixes for the attr module Mikael Magnusson
Code repositories for project(s) associated with this public inbox
https://git.vuxu.org/mirror/zsh/
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).