diff options
author | Phillip Lougher <phillip@lougher.demon.co.uk> | 2011-05-23 23:05:22 -0400 |
---|---|---|
committer | Phillip Lougher <phillip@lougher.demon.co.uk> | 2011-05-25 13:21:32 -0400 |
commit | 37986f63c81bf23c856f65fc5e4830550e7f3d5b (patch) | |
tree | aafcc2078b469fb8fdb6e43255e136fcc7059dc9 /fs/squashfs/id.c | |
parent | 6f04864515365e135adc9f1cee4ac1251bb0ed35 (diff) |
Squashfs: add sanity checks to id reading at mount time
Fsfuzzer generates corrupted filesystems which throw a warn_on in
kmalloc. One of these is due to a corrupted superblock no_ids field.
Fix this by checking that the number of bytes to be read (and allocated)
does not extend into the next filesystem structure.
Also add a couple of other sanity checks of the mount-time id table
structures.
Signed-off-by: Phillip Lougher <phillip@lougher.demon.co.uk>
Diffstat (limited to 'fs/squashfs/id.c')
-rw-r--r-- | fs/squashfs/id.c | 30 |
1 files changed, 28 insertions, 2 deletions
diff --git a/fs/squashfs/id.c b/fs/squashfs/id.c index 2fdac6703b48..499d08a1f34a 100644 --- a/fs/squashfs/id.c +++ b/fs/squashfs/id.c | |||
@@ -66,11 +66,37 @@ int squashfs_get_id(struct super_block *sb, unsigned int index, | |||
66 | * Read uncompressed id lookup table indexes from disk into memory | 66 | * Read uncompressed id lookup table indexes from disk into memory |
67 | */ | 67 | */ |
68 | __le64 *squashfs_read_id_index_table(struct super_block *sb, | 68 | __le64 *squashfs_read_id_index_table(struct super_block *sb, |
69 | u64 id_table_start, unsigned short no_ids) | 69 | u64 id_table_start, u64 next_table, unsigned short no_ids) |
70 | { | 70 | { |
71 | unsigned int length = SQUASHFS_ID_BLOCK_BYTES(no_ids); | 71 | unsigned int length = SQUASHFS_ID_BLOCK_BYTES(no_ids); |
72 | __le64 *table; | ||
72 | 73 | ||
73 | TRACE("In read_id_index_table, length %d\n", length); | 74 | TRACE("In read_id_index_table, length %d\n", length); |
74 | 75 | ||
75 | return squashfs_read_table(sb, id_table_start, length); | 76 | /* Sanity check values */ |
77 | |||
78 | /* there should always be at least one id */ | ||
79 | if (no_ids == 0) | ||
80 | return ERR_PTR(-EINVAL); | ||
81 | |||
82 | /* | ||
83 | * length bytes should not extend into the next table - this check | ||
84 | * also traps instances where id_table_start is incorrectly larger | ||
85 | * than the next table start | ||
86 | */ | ||
87 | if (id_table_start + length > next_table) | ||
88 | return ERR_PTR(-EINVAL); | ||
89 | |||
90 | table = squashfs_read_table(sb, id_table_start, length); | ||
91 | |||
92 | /* | ||
93 | * table[0] points to the first id lookup table metadata block, this | ||
94 | * should be less than id_table_start | ||
95 | */ | ||
96 | if (!IS_ERR(table) && table[0] >= id_table_start) { | ||
97 | kfree(table); | ||
98 | return ERR_PTR(-EINVAL); | ||
99 | } | ||
100 | |||
101 | return table; | ||
76 | } | 102 | } |