[PATCH] romfs: reject non-advancing nextfh offsets in romfs_lookup() and romfs_readdir()

From: Hui Peng

Date: Sat Sep 19 2026 - 18:30:34 EST


In romfs_lookup() and romfs_readdir() (fs/romfs/super.c), verify that
the masked nextfh offset strictly advances (or is 0 to terminate the
directory) so a self-referential or backward nextfh link in a corrupted
RomFS image cannot cause an infinite loop in the kernel.

Fixes: da4458bda237 ("NOMMU: Make it possible for RomFS to use MTD devices directly")
Assisted-by: LLM
Signed-off-by: Hui Peng <benquike@xxxxxxxxx>
---
diff --git a/fs/romfs/super.c b/fs/romfs/super.c
index 7f783d6173e8..4d787ee06d4a 100644
--- a/fs/romfs/super.c
+++ b/fs/romfs/super.c
@@ -191,6 +191,8 @@ static int romfs_readdir(struct file *file, struct dir_context *ctx)
romfs_dtype_table[nextfh & ROMFH_TYPE]))
goto out;

+ if ((nextfh & ROMFH_MASK) && (nextfh & ROMFH_MASK) <= offset)
+ goto out;
offset = nextfh & ROMFH_MASK;
}
out:
@@ -223,6 +225,8 @@ static struct dentry *romfs_lookup(struct inode *dir, struct dentry *dentry,
len = dentry->d_name.len;

for (;;) {
+ unsigned long next_offset;
+
if (!offset || offset >= maxoff)
break;

@@ -246,7 +250,12 @@ static struct dentry *romfs_lookup(struct inode *dir, struct dentry *dentry,
}

/* next entry */
- offset = be32_to_cpu(ri.next) & ROMFH_MASK;
+ next_offset = be32_to_cpu(ri.next) & ROMFH_MASK;
+ if (next_offset && next_offset <= offset) {
+ ret = -EIO;
+ goto error;
+ }
+ offset = next_offset;
}

return d_splice_alias(inode, dentry);