2021-12-14 09:35:00

by Xiaoke Wang

[permalink] [raw]
Subject: [PATCH] selinux: fix a wrong check condition of strcmp()

From: Xiaoke Wang <[email protected]>

strcmp() will return 0 when two strings(s1, s2 for example) are equal.
And if a negative number means s1 < s2. Here seems should use == 0 as
the condition. Otherwise, the value of genfs->fstype can not be
guaranteed.

Signed-off-by: Xiaoke Wang <[email protected]>
---
security/selinux/ss/services.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/security/selinux/ss/services.c b/security/selinux/ss/services.c
index 759d878..c9f6c3a 100644
--- a/security/selinux/ss/services.c
+++ b/security/selinux/ss/services.c
@@ -2883,7 +2883,7 @@ static inline int __security_genfs_sid(struct selinux_policy *policy,

for (genfs = policydb->genfs; genfs; genfs = genfs->next) {
cmp = strcmp(fstype, genfs->fstype);
- if (cmp <= 0)
+ if (cmp == 0)
break;
}

--


2021-12-14 16:14:13

by Stephen Smalley

[permalink] [raw]
Subject: Re: [PATCH] selinux: fix a wrong check condition of strcmp()

On Tue, Dec 14, 2021 at 4:34 AM <[email protected]> wrote:
>
> From: Xiaoke Wang <[email protected]>
>
> strcmp() will return 0 when two strings(s1, s2 for example) are equal.
> And if a negative number means s1 < s2. Here seems should use == 0 as
> the condition. Otherwise, the value of genfs->fstype can not be
> guaranteed.
>
> Signed-off-by: Xiaoke Wang <[email protected]>

NAK. Look more closely at the code that follows, and understand that
the list is ordered to avoid needing to traverse all of it.

> ---
> security/selinux/ss/services.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/security/selinux/ss/services.c b/security/selinux/ss/services.c
> index 759d878..c9f6c3a 100644
> --- a/security/selinux/ss/services.c
> +++ b/security/selinux/ss/services.c
> @@ -2883,7 +2883,7 @@ static inline int __security_genfs_sid(struct selinux_policy *policy,
>
> for (genfs = policydb->genfs; genfs; genfs = genfs->next) {
> cmp = strcmp(fstype, genfs->fstype);
> - if (cmp <= 0)
> + if (cmp == 0)
> break;
> }
>
> --

2021-12-14 16:48:46

by Xiaoke Wang

[permalink] [raw]
Subject: Re: [PATCH] selinux: fix a wrong check condition of strcmp()

On Wed, Dec 15, 2021 00:14 AM, Stephen Smalley wrote:
> NAK. Look more closely at the code that follows, and understand that
> the list is ordered to avoid needing to traverse all of it.

I am very sorry that I didn't realize that is a sorted list. I read policydb.c
and understand what you comment now.
Apologize again for disturbing you, and I will read the context as carefully
as possible in the future......