util: Limit size of wl_map
Since server IDs are basically indistinguishable from really big client IDs at many points in the source, it's theoretically possible to overflow a map and either overflow server IDs into the client ID space, or grow client IDs into the server ID space. This would currently take a massive amount of RAM, but the definition of massive changes yearly. Prevent this by placing a ridiculous but arbitrary upper bound on the number of items we can put in a map: 0xF00000, somewhere over 15 million. This should satisfy pathological clients without restriction, but stays well clear of the 0xFF000000 transition point between server and client IDs. It will still take an improbable amount of RAM to hit this, and a client could still exhaust all RAM in this way, but our goal is to prevent overflow and undefined behaviour. Fixes #224 Signed-off-by: Derek Foreman <derek.foreman@collabora.com>
This commit is contained in:
parent
f7ca2c65f3
commit
b19488c715
|
@ -45,6 +45,7 @@
|
|||
#define WL_MAP_SERVER_SIDE 0
|
||||
#define WL_MAP_CLIENT_SIDE 1
|
||||
#define WL_SERVER_ID_START 0xff000000
|
||||
#define WL_MAP_MAX_OBJECTS 0x00f00000
|
||||
#define WL_CLOSURE_MAX_ARGS 20
|
||||
|
||||
struct wl_object {
|
||||
|
|
|
@ -198,6 +198,7 @@ wl_map_insert_new(struct wl_map *map, uint32_t flags, void *data)
|
|||
union map_entry *start, *entry;
|
||||
struct wl_array *entries;
|
||||
uint32_t base;
|
||||
uint32_t count;
|
||||
|
||||
if (map->side == WL_MAP_CLIENT_SIDE) {
|
||||
entries = &map->client_entries;
|
||||
|
@ -218,10 +219,25 @@ wl_map_insert_new(struct wl_map *map, uint32_t flags, void *data)
|
|||
start = entries->data;
|
||||
}
|
||||
|
||||
/* wl_array only grows, so if we have too many objects at
|
||||
* this point there's no way to clean up. We could be more
|
||||
* pro-active about trying to avoid this allocation, but
|
||||
* it doesn't really matter because at this point there is
|
||||
* nothing to be done but disconnect the client and delete
|
||||
* the whole array either way.
|
||||
*/
|
||||
count = entry - start;
|
||||
if (count > WL_MAP_MAX_OBJECTS) {
|
||||
/* entry->data is freshly malloced garbage, so we'd
|
||||
* better make it a NULL so wl_map_for_each doesn't
|
||||
* dereference it later. */
|
||||
entry->data = NULL;
|
||||
return 0;
|
||||
}
|
||||
entry->data = data;
|
||||
entry->next |= (flags & 0x1) << 1;
|
||||
|
||||
return (entry - start) + base;
|
||||
return count + base;
|
||||
}
|
||||
|
||||
int
|
||||
|
@ -238,6 +254,9 @@ wl_map_insert_at(struct wl_map *map, uint32_t flags, uint32_t i, void *data)
|
|||
i -= WL_SERVER_ID_START;
|
||||
}
|
||||
|
||||
if (i > WL_MAP_MAX_OBJECTS)
|
||||
return -1;
|
||||
|
||||
count = entries->size / sizeof *start;
|
||||
if (count < i) {
|
||||
errno = EINVAL;
|
||||
|
@ -280,8 +299,10 @@ wl_map_reserve_new(struct wl_map *map, uint32_t i)
|
|||
i -= WL_SERVER_ID_START;
|
||||
}
|
||||
|
||||
count = entries->size / sizeof *start;
|
||||
if (i > WL_MAP_MAX_OBJECTS)
|
||||
return -1;
|
||||
|
||||
count = entries->size / sizeof *start;
|
||||
if (count < i) {
|
||||
errno = EINVAL;
|
||||
return -1;
|
||||
|
|
Loading…
Reference in New Issue
Block a user