Skip to content

Commit 325d4ac

Browse files
mjbommargregkh
authored andcommitted
ksmbd: require minimum ACE size in smb_check_perm_dacl()
[ Upstream commit d07b26f ] Both ACE-walk loops in smb_check_perm_dacl() only guard against an under-sized remaining buffer, not against an ACE whose declared `ace->size` is smaller than the struct it claims to describe: if (offsetof(struct smb_ace, access_req) > aces_size) break; ace_size = le16_to_cpu(ace->size); if (ace_size > aces_size) break; The first check only requires the 4-byte ACE header to be in bounds; it does not require access_req (4 bytes at offset 4) to be readable. An attacker who has set a crafted DACL on a file they own can declare ace->size == 4 with aces_size == 4, pass both checks, and then granted |= le32_to_cpu(ace->access_req); /* upper loop */ compare_sids(&sid, &ace->sid); /* lower loop */ reads access_req at offset 4 (OOB by up to 4 bytes) and ace->sid at offset 8 (OOB by up to CIFS_SID_BASE_SIZE + SID_MAX_SUB_AUTHORITIES * 4 bytes). Tighten both loops to require ace_size >= offsetof(struct smb_ace, sid) + CIFS_SID_BASE_SIZE which is the smallest valid on-wire ACE layout (4-byte header + 4-byte access_req + 8-byte sid base with zero sub-auths). Also reject ACEs whose sid.num_subauth exceeds SID_MAX_SUB_AUTHORITIES before letting compare_sids() dereference sub_auth[] entries. parse_sec_desc() already enforces an equivalent check (lines 441-448); smb_check_perm_dacl() simply grew weaker validation over time. Reachability: authenticated SMB client with permission to set an ACL on a file. On a subsequent CREATE against that file, the kernel walks the stored DACL via smb_check_perm_dacl() and triggers the OOB read. Not pre-auth, and the OOB read is not reflected to the attacker, but KASAN reports and kernel state corruption are possible. Fixes: e2f3448 ("cifsd: add server-side procedures for SMB3") Cc: stable@vger.kernel.org Assisted-by: Claude:claude-opus-4-6 Assisted-by: Codex:gpt-5-4 Signed-off-by: Michael Bommarito <michael.bommarito@gmail.com> Acked-by: Namjae Jeon <linkinjeon@kernel.org> Signed-off-by: Steve French <stfrench@microsoft.com> Signed-off-by: Sasha Levin <sashal@kernel.org> Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
1 parent 1593ddb commit 325d4ac

1 file changed

Lines changed: 13 additions & 4 deletions

File tree

fs/smb/server/smbacl.c

Lines changed: 13 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1298,10 +1298,13 @@ int smb_check_perm_dacl(struct ksmbd_conn *conn, const struct path *path,
12981298
ace = (struct smb_ace *)((char *)pdacl + sizeof(struct smb_acl));
12991299
aces_size = acl_size - sizeof(struct smb_acl);
13001300
for (i = 0; i < le16_to_cpu(pdacl->num_aces); i++) {
1301-
if (offsetof(struct smb_ace, access_req) > aces_size)
1301+
if (offsetof(struct smb_ace, sid) +
1302+
aces_size < CIFS_SID_BASE_SIZE)
13021303
break;
13031304
ace_size = le16_to_cpu(ace->size);
1304-
if (ace_size > aces_size)
1305+
if (ace_size > aces_size ||
1306+
ace_size < offsetof(struct smb_ace, sid) +
1307+
CIFS_SID_BASE_SIZE)
13051308
break;
13061309
aces_size -= ace_size;
13071310
granted |= le32_to_cpu(ace->access_req);
@@ -1319,13 +1322,19 @@ int smb_check_perm_dacl(struct ksmbd_conn *conn, const struct path *path,
13191322
ace = (struct smb_ace *)((char *)pdacl + sizeof(struct smb_acl));
13201323
aces_size = acl_size - sizeof(struct smb_acl);
13211324
for (i = 0; i < le16_to_cpu(pdacl->num_aces); i++) {
1322-
if (offsetof(struct smb_ace, access_req) > aces_size)
1325+
if (offsetof(struct smb_ace, sid) +
1326+
aces_size < CIFS_SID_BASE_SIZE)
13231327
break;
13241328
ace_size = le16_to_cpu(ace->size);
1325-
if (ace_size > aces_size)
1329+
if (ace_size > aces_size ||
1330+
ace_size < offsetof(struct smb_ace, sid) +
1331+
CIFS_SID_BASE_SIZE)
13261332
break;
13271333
aces_size -= ace_size;
13281334

1335+
if (ace->sid.num_subauth > SID_MAX_SUB_AUTHORITIES)
1336+
break;
1337+
13291338
if (!compare_sids(&sid, &ace->sid) ||
13301339
!compare_sids(&sid_unix_NFS_mode, &ace->sid)) {
13311340
found = 1;

0 commit comments

Comments
 (0)